- 1.T. Winograd, Beyond Proorammino Lanouaoes. CACM, vol.22,n.7 (1979), pp.391-401 Google ScholarDigital Library
- 2.R.Devillers (ed.), Basic Cases Studies, in DEMON Newslettern.2, nov.1989Google Scholar
- 3.F.De Cindio, G.De Michelis, L.Pomello, C.Simone, SuDerDOSed Automata Nets, in C. Girault and W. Reisig (eds.), 'Application and Theory of Petri Nets', IFB, n.52, Springer-Verlag (1982), pp.269-279 Google ScholarDigital Library
- 4.L.Pomello, Some eouivalence notions for concurrent systems. An overview, in G. Rozenberg (ed.), 'Advances in Petri Nets', LNCS, n. 222, Springer-Verlag (1986), pp. 381 -400 Google ScholarDigital Library
- 5.L. Pomello, C. Simone, A State Transformation Preorder over a class of EN Systems, Proc. X International Conference on Application and Theory of Petri Nets, Bonn, 1989 Google ScholarDigital Library
- 6.C.A. Petri, Interpretations of Net Theory, ISF-Report 75.07, GMD, St. Augustin, 1975Google Scholar
- 7.R. Valk, Self-Modifyina Nets. a Natural Extension of Petri Nets, Proc. ICALP 1987, Udine, 1987 Google ScholarDigital Library
- 8.D. Janssens, G. Rozemberg, Actor Grammars, Math. Systems Theory 22, 1989Google Scholar
- 9.R.P. Hopkins, M. Koutny, A Model for Dynamically Structured Communicatina Systems, TR-239, Comp. Lab., The Univ. of Newcastel upon Tyne, 1987Google Scholar
- 10.E. Best, B. Randell, A formal model of atomicitv in asynchronous systems. Acta Informatica 16, 1981Google ScholarDigital Library
- 11.M. Silva, Tolerancia a fallos en aDDlicaciones tiemDo real, Regulacio Y Mando Automatico 146, 1985Google Scholar
- Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way
Recommendations
Towards a Standard for Modular Petri Nets: A Formalisation
PETRI NETS '09: Proceedings of the 30th International Conference on Applications and Theory of Petri NetsWhen designing complex systems, mechanisms for structuring, composing, and reusing system components are crucial. Today, there are many approaches for equipping Petri nets with such mechanisms. In the context of defining a standard interchange format ...
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Concurrency Specification and Programming Workshop (CS&P'2001)Nested Petri nets (NP-nets) is a Petri net extension, allowing tokens in a net marking to be represented by marked nets themselves. The paper discusses applicability of NP-nets for modeling task planning systems, multi-agent systems and recursive-...
Comments