For the most recent entries see the Petri Nets Newsletter.

An efficient method for computing exact state space of Petri nets with stopwatches.

Magnin, Morgan; Lime, Didier; Roux, Olivier (H.)

In: Third International Workshop on Software Model-Checking (SoftMC'05). Elsevier, July 2005.


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

Back to the Petri Nets Bibliography