For the most recent entries see the Petri Nets Newsletter.

Representing a Program Invariant as a Linear Invariant in a Net.

Best, E.

In: Bulletin of the EATCS, pages 2-11. June 1982.

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

Back to the Petri Nets Bibliography