For the most recent entries see the Petri Nets Newsletter.

Top-down Formal Specification and Verification of Parallel Control Systems.

Valette, R.; Diaz, M.

In: Digital Processes, Vol. 4, No. 3, pages 181-199. 1978.

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

Back to the Petri Nets Bibliography