Keyword: time petri net

• Roux, O.H.; Delfieu, D.; Molinaro, P.:
  Discrete Time Approach of Time Petri Nets for Real-Time Systems Analysis. 2001.

• Roux, O.H.; Deplanche, A.M.:
  Extension des réseaux de Petri T-temporels pour la modélisation de l'ordonnancement de tâches temps réel. 2001.

• Xuandong, Li:
  Verifying time petri nets by linear programming. 2001.

• Delfieu, D.; Molinaro, P.; Roux, O.H.:
  Analyzing Temporal Constraints with Binary Decision Diagrams. 2000.

• Popova-Zeugmann, Louchka; Schlatter, Dirk:
  Analyzing paths in time petri nets. 1999.

• Wim, Deceuninck; Janssens, Gerrit K.:
  Risk analysis using Time Petri nets. 1994.

• Wilczkowiak, E.:
  Performance Evaluation of Local Area Networks for Parallel Computing Using Time Petri Nets. 1990.

Back to the Petri Nets Bibliography