For the most recent entries see the
Petri Nets Newsletter.
Achieving High Integrity of Process Control Software by Graphical Design and Formal Verification.
IEEE Software Engineering Journal, Vol. 7, No. 1, pages 53-64.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography