For the most recent entries see the Petri Nets Newsletter.

PZ Nets - A Formal Method Integrating Petri Nets with Z.

He, Xudong

In: Information and Software Technology , vol.43, no.1, pages 1-18. 2001.


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

Back to the Petri Nets Bibliography