For the most recent entries see the Petri Nets Newsletter.

Static Analysis of ADA Programs Using the Petri Net Model.

Shatz, S.M.; Cheng, W.K.

In: Proc. of the ISCAS 85, pages 719-746. IEEE, 1985.


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

Back to the Petri Nets Bibliography