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