Humboldt-Universität zu Berlin, Institut für Informatik
Online Talks
"Time and Concurrency - Approaches for
Intertwining of Time and Petri Nets"
CS&P 2015, Rzeszow, Poland, Sept. 28 -30, 2015. (keynote talk)
"Controlling Petri Net Behavior Using
Time Constraints"
CS&P 2015, Rzeszow, Poland, Sept. 28 -30, 2015.
Modeling and Evaluating the Cdc2 and Cyclin
Interactions in the Cell Division Cycle with Time Dependent Petri Nets - A Case Study":
full version
CS&P 2008, Gross Väter, Deutschland, Sept. 29 - Oct. 1, 2008.
Tutorial "Time Petri Nets:Theory,
Applications and Tools":
part 1
/ part 2 / part 3,
ICATPN 2008, Xi'an, China, June 24, 2008.
"A Memo
on Computability in Time Petri Nets":
short version
/ full version ,
Workshop CS&P 2005 , Ruciane-Nida, Poland
, September 28-30, 2005.
"Time
Petri Nets State Space Reduction
Using Dynamic Programming and Time Paths":
short version
/ full version ,
17th Triennial Conference of the IFORS, Honolulu, Hawaii
USA, July 11-15, 2005.
"Quantitative Analysis of Time Petri Nets Used
for Modelling Biochemical Networks":
short version
/ full version,
Max-Planck-Institut für Molekulare
Pflanzenphysiologie, Golm, May 04, 2005.
erstellt am Thu Aug 25 13:27:16
MEST 2005 , zuletzt
geändert
am Mi 7 Okt 2015 15:27:53 CEST