Publisher
Springer International Publishing
Reference6 articles.
1. J.L.G. Dietz, G.J. Houben, K.M. van Hee, Modeling of discrete dynamic systems: framework and examples. Inf. Syst. 14(4) (1989)
2. W. van der Aalst, P.J.N. de Crown, R. Goverde, K.M. van Hee, W. Hofman, H. Reijers, R. van der Toorn, ExSpect 6.4: an executable specification tool for hierarchical colored Petri nets, in ICATPN 200, ed. by M. Nielsen, D. Simpson. LNCS, vol. 1825 (Springer, Berlin, 2000), pp. 455–464,
www.exspect.com
3. K. Jensen, Coloured Petri nets, in Petri Nets Central Models and Their Properties, ed. by W. Brauer, W. Reisig, G. Rozenberg. LNCS, vol. 254 (Springer, Berlin, 1987), pp. 248–299
4. M. Gardner, Mathematical Games – The fantastic combinations of John Conway’s new solitaire game “life”. Sci. Am. 223, 120–123 (1970)
5. C.A. Petri, On the physical basics of information flow, results obtained in cooperation with Konrad Zuse, presented by Rüdiger Valk, in ICATPN 2008, ed. by K.M. van Hee, R. Valk. LNCS, vol. 5062 (Springer, Berlin, 2008), p. 12