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