For the most recent entries see the Petri Nets Newsletter.

Achieving High Integrity of Process Control Software by Graphical Design and Formal Verification.

Halang, W.; Krämer, B.

In: IEEE Software Engineering Journal, Vol. 7, No. 1, pages 53-64. 1992.

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

Back to the Petri Nets Bibliography