For the most recent entries see the Petri Nets Newsletter.

Z and high level Petri Nets.

van Hee, K.M.; Somers, L.J.; Voorhoeve, M.

In: Prehn, S.; Toetenel, W.J.: Lecture Notes in Computer Science, Vol. 551; VDM91 Formal Software Development Methods, pages 204-219. New York: Springer-Verlag, 1991.


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

Back to the Petri Nets Bibliography