For the most recent entries see the
Petri Nets Newsletter.
Reachability Analysis with Assertion Systems.
Müller, H.
In:
Deussen, P.: Lecture Notes in Computer Science, Vol. 104: Theor. Comp. Science, 5th GI-Conference, Karlsruhe, pages 214-223.
Springer-Verlag,
1981.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography