For the most recent entries see the Petri Nets Newsletter.

A Theory of Testing High-Level Petri Nets.

Zhu, Hong; He, Xudong

In: Proc. of Conference on Software: Theory and Pracice (The 16th IFIP World Computer Congress), Beijing, China, pages 443-450. August 2000.


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

Back to the Petri Nets Bibliography