{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:07:14Z","timestamp":1775052434129,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540556107","type":"print"},{"value":"9783540472582","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55610-9_177","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:26:06Z","timestamp":1330251966000},"page":"304-351","source":"Crossref","is-referenced-by-count":53,"title":["A survey of basic net models and modular net classes"],"prefix":"10.1007","author":[{"given":"Luca","family":"Bernardinello","sequence":"first","affiliation":[]},{"given":"Fiorella","family":"Cindio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"12_CR1","unstructured":"E. Best, F. De Cindio, R. Hopkins: DEMON, Design Methods Based On Nets: An ESPRIT Basic Research Action (#3148). In: The EATCS Bulletin n. 41, June 1990."},{"key":"12_CR2","unstructured":"O. Botti, F. De Cindio, J. Hall, R. Hopkins: A Petri Net Semantics of Basic Occam-2. Technical Report n.80, ESPRIT BRA 3148, DEMON (1990)."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"E. Battiston, F. De Cindio, G. Mauri: OBJSA nets: a class of high level nets having objects as domains. In: G. Rozenberg (ed.), Advances in Petri nets 1988, LNCS 340, Springer-Verlag (1988).","DOI":"10.1007\/3-540-50580-6_22"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"G. Berthelot: Transformations and Decompositions of Nets. In: [brr87], Volume I, pp.359\u2013376.","DOI":"10.1007\/978-3-540-47919-2_13"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"E. Best: Concurrent behaviour: sequences, processes and axioms. In: S.D. Brookes, A.W. Roscoe, G. Winskel (eds.), Seminar on Concurrency, LNCS 197, Springer-Verlag (1985).","DOI":"10.1007\/3-540-15670-4_11"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"E. Best: Structure Theory of Petri Nets: the Free Choice Hiatus. In: [brr87], Volume I, pp. 168\u2013205.","DOI":"10.1007\/978-3-540-47919-2_8"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"E. Best: Weighted Basic Petri Nets. In: F.H. Vogt (ed.), Concurrency 88, LNCS 335, Springer-Verlag (1988).","DOI":"10.1007\/3-540-50403-6_44"},{"key":"12_CR8","unstructured":"E. Best (ed.): Technical Annex of the ESPRIT BRA 3148 DEMON. Arbeitspapiere der GMD 435 (1990)."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"E. Best: Design Methods Based On Nets, Esprit Basic Research Action DEMON. In: G. Rozenberg (ed.), Advances in Petri Nets 1989, LNCS 424, Springer-Verlag 1990.","DOI":"10.1007\/3-540-52494-0_43"},{"key":"12_CR10","unstructured":"E. Best, C. Fernandez: Notations and Terminology on Petri Net Theory. Arbeitspapiere der GMD 195 (1986)."},{"key":"12_CR11","unstructured":"E. Best, M. Koutny: Partial Order Semantics of Priority Systems. Hildesheimer Informatik-Berichte Nr. 6\/90. (1990) To appear in: Theoretical Computer Science under the title Petri Net Semantics of Priority Systems (1991)."},{"key":"12_CR12","unstructured":"W. Brauer (ed.): Net Theory and Applications. Proc. of the First Advanced Course on General Net Theory of Systems and Processes, LNCS 84, Springer-Verlag (1980)."},{"key":"12_CR13","first-page":"3","volume":"n. 16","author":"W. Brauer","year":"1984","unstructured":"W. Brauer: How to play the token game ? or Difficulties in Interpreting Place Transition Nets. In: Petri Nets and Related System Models Newsletter, n. 16, GI, pp. 3\u201313 (1984).","journal-title":"Petri Nets and Related System Models Newsletter"},{"key":"12_CR14","unstructured":"G. Berthelot, W. Reisig, G. Memmi: A Control Structure for Sequential Processes Synchronized by Buffers. In: Proc. of the 4th European Workshop on Application and Theory of Petri Nets, Toulouse (1983)."},{"key":"12_CR15","unstructured":"W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Proc. of 2nd Advanced Course on Petri Nets. 2 Volumes. LNCS 254 and 255, Springer-Verlag (1987)."},{"issue":"n.1\u20132","key":"12_CR16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"P. Degano, R. De Nicola, U. Montanari, A Distributed Operational Semantics for CCS Based on Condition\/Event Systems. In: Acta Informatica vol. 26, n.1\u20132, pp. 59\u201391 (1988)","journal-title":"Acta Informatica"},{"key":"12_CR17","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone: A Petri Net Model of CSP. Proc. CIL '81, Barcelona (1981)."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone: Superposed Automata Nets. IFB 52, Springer-Verlag (1982).","DOI":"10.1007\/978-3-642-68353-4_44"},{"key":"12_CR19","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone: Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design. In: Proc. 5th International Conference on Distributed Computing. IEEE, Denver (1985)."},{"key":"12_CR20","unstructured":"F. De Cindio, G. De Michelis, L. Pomello, C. Simone, A. Stragapede: Le Reti di Automi Sovrapposti: una Classe Modulare di Reti di Petri. ENEL-DSR-CRA, Milano (1987) (in Italian)."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"F. De Cindio, G. De Michelis, C. Simone: GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems. In: G. Rozenberg (ed.), Advances in Petri Nets 1987, LNCS 266, Springer-Verlag (1987).","DOI":"10.1007\/3-540-18086-9_18"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"R. Devillers: The Semantics of Capacities in P\/T Nets. In: G. Rozenberg (ed.), Advances in Petri Nets 1989, LNCS 424, Springer-Verlag (1990)","DOI":"10.1007\/3-540-52494-0_28"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"J. Desel, A. Merceron: P\/T-systems as abstractions of C\/E-systems. In: G. Rozenberg (ed.), Advances in Petri Nets 1989, LNCS 424, Springer-Verlag (1990).","DOI":"10.1007\/3-540-52494-0_27"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"J. Esparza, M. Silva: Circuits, handles, bridges and nets. In: Proc. of the 10th International Conference on Application and Theory of Petri Nets, Bonn (1989). Also in Advances in Petri Nets 1990, LNCS 483, Springer-Verlag (1991).","DOI":"10.1007\/3-540-53863-1_27"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"J. Esparza, M. Silva: Top-Down Synthesis of Live&Bounded Free Choice Nets. In: Proc. of the 11th International Conference on Petri Nets, Paris (1990). Also in: G. Rozenberg (ed.), Advances in Petri Nets 1991, LNCS 524, Springer-Verlag (1991).","DOI":"10.1007\/BFb0019972"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"H.J. Genrich: Projections of C\/E Systems. In: G. Rozenberg (ed.) Advances in Petri Nets 1985, LNCS 222, Springer-Verlag (1986).","DOI":"10.1007\/BFb0016214"},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: Elements of General Net Theory. In: [bra80], pp.21\u2013163 (1980).","DOI":"10.1007\/3-540-10001-6_22"},{"key":"12_CR28","unstructured":"U. Goltz: On Condition\/Event Representations of Place\/Transition Nets. In: K.Voss, H.J. Genrich, G.Rozenberg (eds.), Concurrency and Nets, Advances in Petri Nets 1987. Springer-Verlag (1987)."},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, E. Stankiewicz-Wiechno: A Dictionary of some basic notions of net theory. In: [bra80], pp.519\u2013535(1980).","DOI":"10.1007\/3-540-10001-6_39"},{"key":"12_CR30","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(84)90137-3","volume":"30","author":"H.J. Genrich","year":"1984","unstructured":"H.J. Genrich, P.S. Thiagarajan: A Theory of Bipolar Synchronisation schemes. In: Theoretical Computer Science, 30, pp. 241\u2013318 (1984).","journal-title":"Theoretical Computer Science"},{"key":"12_CR31","unstructured":"G.W. Brams (collective name): R\u00e9seaux de Petri: Th\u00e9orie et Pratique. Masson (1983). (in French)"},{"key":"12_CR32","volume-title":"TR-94","author":"M. Hack","year":"1972","unstructured":"M. Hack: Analysis of production schemata by Petri nets. TR-94, MIT, Boston, 1972."},{"key":"12_CR33","volume-title":"Corrections to MAC-TR 94","author":"M. Hack","year":"1974","unstructured":"M. Hack: Corrections to MAC-TR 94. MIT, Boston, 1974."},{"key":"12_CR34","volume-title":"Extended State-Machine Allocatable Nets (ESMA), an extension of Free Choice Petri net results","author":"M. Hack","year":"1974","unstructured":"M. Hack: Extended State-Machine Allocatable Nets (ESMA), an extension of Free Choice Petri net results. MIT, Boston 1974."},{"key":"12_CR35","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(84)90014-8","volume":"29","author":"R. Janicki","year":"1984","unstructured":"R. Janicki: Nets, sequential components and concurrency relations. In: Theoretical Computer Science 29, pp. 87\u2013121 (1984).","journal-title":"Theoretical Computer Science"},{"key":"12_CR36","unstructured":"M.Jantzen, R.Valk: Formal Properties of Place\/Transition Nets. In: W.Brauer (ed.), Net Theory and Applications, LNCS 84, Springer-Verlag (1981)."},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"V.E. Kotov: An algebra for parallelism based on Petri nets. In: J. Winkowski (ed.), Mathematical Foundations of Computer Science 1978, LNCS 64, Springer-Verlag (1978).","DOI":"10.1007\/3-540-08921-7_55"},{"key":"12_CR38","unstructured":"K. Lautenbach: Linear Algebraic Techniques for Place\/Transition Nets. In: [brr87]."},{"key":"12_CR39","unstructured":"A.Mazurkiewicz: Concurrent Program Schemes and Their Interpretations. \u00e5rhus University, Computer Science Department, DAIMI PB-78. (1977)."},{"issue":"4\/5","key":"12_CR40","first-page":"171","volume":"21","author":"K. M\u00fcller","year":"1985","unstructured":"K. M\u00fcller: Constructable Petri Nets. In: EIK 21, 4\/5, pp. 171\u2013199 (1985).","journal-title":"EIK"},{"key":"12_CR41","unstructured":"C.A. Petri: Concurrency as a Basis of System Thinking. In: F.V. Jensen, B.H. Mayoh, K.K. Moller (eds.), Proc. of the 5th Scandinavian Logic Symposium, Aalborg Univ. Press (1979)"},{"key":"12_CR42","unstructured":"L. Pomello, G. Rozenberg, C. Simone: A Survey of Equivalence Notions for Net-Based Systems. In this volume."},{"key":"12_CR43","doi-asserted-by":"crossref","unstructured":"L. Pomello, C. Simone: A State Transformation Preorder over a class of EN-systems. In: G. Rozenberg (ed.), Advances in Petri Nets 1990, LNCS 483, Springer-Verlag (1991).","DOI":"10.1007\/3-540-53863-1_33"},{"key":"12_CR44","unstructured":"W. Reisig: On a Class of Co-Operating Sequential Processes. In: Proc. of the 1st European conference on parallel and distributed processing, Toulouse, 1979."},{"key":"12_CR45","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00264434","volume":"18","author":"W. Reisig","year":"1982","unstructured":"W. Reisig: Deterministic Buffer Synchronisation of Sequential Processes. In: Acta Informatica 18, pp. 117\u2013134 (1982).","journal-title":"Acta Informatica"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri Nets: an Introduction. Springer EATCS Monograph, Vol.4 (1985).","DOI":"10.1007\/978-3-642-69968-9"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"W. Reisig: On the semantics of Petri Nets. In: Neuhold, Chroust (eds.), Formal Models in Programming. North Holland Publ. Company, IFIP, (1985).","DOI":"10.1007\/978-3-642-69968-9"},{"key":"12_CR48","unstructured":"W. Reisig: Place\/Transition Systems. In: [brr87], Volume I, pp. 117\u2013141 (1987)."},{"key":"12_CR49","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, P.S. Thiagarajan: Petri Nets: Basic Notions, Structure, Behaviour. In: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.), Current Trends in Concurrency, LNCS 224, Springer-Verlag (1986).","DOI":"10.1007\/BFb0027048"},{"key":"12_CR50","doi-asserted-by":"crossref","unstructured":"Y. Souissi, N. Beldiceanu: Deterministic Systems of Sequential Processes: Theory and Tools. In: Concurrency 88, LNCS 255, Springer-Verlag (1988).","DOI":"10.1007\/3-540-50403-6_52"},{"key":"12_CR51","unstructured":"M. Silva: Las Redes de Petri en la Automatica y la Informatica. Editorial AC, Madrid (1985) (in Spanish)."},{"key":"12_CR52","unstructured":"Y. Souissi, G. Memmi: Compositions of nets via a communication medium. In: Proc. of the 10th International Conference on Application and theory of Petri nets, Bonn (1989)."},{"key":"12_CR53","unstructured":"Y. Souissi: Deterministic Systems of Sequential Processes: a Class of Structured Petri Nets. Private communication, 1990."},{"key":"12_CR54","unstructured":"E. Smith, W. Reisig: The Semantics of a Net is a Net \u2014 An Exercise in General Net Theory. In: K. Voss, H.J. Genrich, G. Rozenberg (eds.), Concurrency and Nets. Springer-Verlag (1987)."},{"key":"12_CR55","doi-asserted-by":"crossref","unstructured":"D. Taubner: On the Implementation of Petri Nets. In: G. Rozenberg (ed.), Advances in Petri Nets 1988, LNCS340, Springer-Verlag (1988).","DOI":"10.1007\/3-540-50580-6_40"},{"key":"12_CR56","doi-asserted-by":"crossref","unstructured":"P.S. Thiagarajan: Elementary Net Systems. In [brr87], Volume I, pp. 26\u201359 (1987).","DOI":"10.1007\/978-3-540-47919-2_3"},{"key":"12_CR57","doi-asserted-by":"crossref","unstructured":"R.Valk: Extension and intension of actions. In: K. Voss, H.J. Genrich, G. Rozenberg (eds.), Concurrency and Nets. Springer-Verlag (1987).","DOI":"10.1007\/978-3-642-72822-8_35"},{"key":"12_CR58","doi-asserted-by":"crossref","unstructured":"G. Winskel: Categories of Models for Concurrency. In: S.D. Brookes, A.W. Roscoe, G. Winskel (eds.), Seminar on Concurrency, LNCS 197, Springer-Verlag (1985).","DOI":"10.1007\/3-540-15670-4_12"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55610-9_177.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:45Z","timestamp":1605646845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55610-9_177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556107","9783540472582"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/3-540-55610-9_177","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}