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