For the most recent entries see the
Petri Nets Newsletter.
Multilevel Specification and Verification of the Control in Communication Systems.
Proc. of the First Int. Conf. on Disct. Comput. Systems, Huntsville, Alabama, pages 43-50.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography