For the most recent entries see the
Petri Nets Newsletter.
Non-Linear Invariants for Coloured Petri Nets with Interdependent Tokens; Application to the Proof of Parallel Programs.
Vautherin, J.
In:
Rozenberg, G.: Lecture Notes in Computer Science, Vol. 222: Advances in Petri Nets 1985, pages 418-434.
Springer-Verlag,
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography