For the most recent entries see the Petri Nets Newsletter.

A zone-based method for Computing the State Space of a Time Petri Net.

Gardey, G.; Roux, O. H.; Roux, O. F.

In: In Formal Modeling and Analysis of Timed Systems, (FORMATS'03). Marseille, France: Springer Lecture Notes in Computer Science, September 2003.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography