For the most recent entries see the Petri Nets Newsletter.

Multilevel Specification and Verification of the Control in Communication Systems.

Devy, M.; Diaz, M.

In: Proc. of the First Int. Conf. on Disct. Comput. Systems, Huntsville, Alabama, pages 43-50. October 1979.

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

Back to the Petri Nets Bibliography