For the most recent entries see the
Petri Nets Newsletter.
The CESAR System: An Aided Design and Certification System for Distributed Applications.
Queille, J.P.
In:
2nd Int. Conf. on Distributed Computing Systems, Paris 1981, IEEE, pages 149-161.
Computer Society Press,
1981.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography