Specification and Verification of Networks in a Petri Net Based Language.

For the most recent entries see the Petri Nets Newsletter.

Specification and Verification of Networks in a Petri Net Based Language.

Aarhus Univ., Comp. Science Dep., DAIMI PB-153, 1982.

Also in: Informatik-Fachberichte 66: Application and Theory of Petri Nets, pages 181-198. Selected Papers from the Third European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27--30, 1982 / Pagnoni, A.; Rozenberg, G. (eds.) --- Springer-Verlag, 1983.

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

Back to the Petri Nets Bibliography