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