{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:00:43Z","timestamp":1725642043319},"publisher-location":"London","reference-count":118,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_2","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:47:45Z","timestamp":1323640065000},"page":"2-31","source":"Crossref","is-referenced-by-count":0,"title":["CALIBAN - Esprit Basic Research WG 6067"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond","family":"Devillers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabeth","family":"Pelz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrique","family":"Teruel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Various authors: Technical Annex of the Esprit Basic Research Working Group No.6067 CALIBAN (1992)."},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0304-3975(94)90065-5","volume":"123","author":"R Assous","year":"1994","unstructured":"R. Assous, V. Bouchitte, C. Charretton, B. Rozoy: Finite Labelling Problem in Event Structures. Theoretical Computer Science 123: 9\u201319 (1994).","journal-title":"Theoretical Computer Science"},{"key":"2_CR3","volume-title":"Torino","author":"E Battiston","year":"1995","unstructured":"E. Battiston, O. Botti, E. Crivelli, F. De Cindio: An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets. Proc. of Petri Nets\u201995, Torino, (eds. G.De Michelis, M.Diaz), LNCS, Springer-Verlag (1995)."},{"key":"2_CR4","volume-title":"Inheritance and Concurrency in CLOWN","author":"E Battiston","year":"1995","unstructured":"E. Battiston, A. Chizzoni, F. De Cindio: Inheritance and Concurrency in CLOWN. To appear in Proc. of the Workshop on Object-Oriented Programming and Models of Concurrency, Torino (1995)."},{"key":"2_CR5","volume-title":"Technical Report i\/4\/72","author":"E Battiston","year":"1992","unstructured":"E. Battiston, F. De Cindio, G. Mauri: Specifying concurrent systems with OBJSA Nets. CNR, Progetto Finalizzato Sistemi Informatici e Calcolo Paral-lelo, Technical Report i\/4\/72 (1992)."},{"key":"2_CR6","volume-title":"of AMAST93","author":"E Battiston","year":"1993","unstructured":"E. Battiston, V. Crespi, F. De Cindio, G. Mauri: Semantics frameworks for a class of modular algebraic nets. Proc. of AMAST\u201993, (eds. M. Nivat, C.Rattay, T.Rus, G.Scollo), Workshops in Computing, Springer-Verlag (1993)."},{"key":"2_CR7","volume-title":"Springer-Ver lag","author":"S Bauget","year":"1995","unstructured":"S. Bauget, P. Gastin: On congruences and partial orders. To appear in MFCS\u201995, LNCS, Springer-Ver lag (1995)."},{"key":"2_CR8","volume-title":"Springer-Verlag","author":"L Bernardinello","year":"1993","unstructured":"L. Bernardinello: Synthesis of Net Systems. Proc. of Petri Net\u201993, Chicago, LNCS 691:89-105, Springer-Verlag (1993)."},{"key":"2_CR9","unstructured":"L. Bernardinello, G. De Michelis, K. Petruni, S. Vigna: On the Synchronic Structure of Transition Systems. In this volume."},{"key":"2_CR10","volume-title":"University of Milan","author":"L Bernardinello","year":"1994","unstructured":"L. Bernardinello, G. De Michelis, K. Petruni, S. Vigna: On Synchronic and Enlogic Structure of Transition Systems, DSI Internal Report, University of Milan (1994)."},{"key":"2_CR11","volume-title":"Springer- Verlag","author":"E Best","year":"1993","unstructured":"E. Best, R. Devillers, J. Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. Proc. of STACS\u201993, LNCS 665:130\u2013140, Springer- Verlag (1993)."},{"key":"2_CR12","volume-title":"Advances in Petri Nets 1992, LNCS 609:21\u201369, Springer-Verlag","author":"E Best","year":"1992","unstructured":"E. Best, R. Devillers, J. Hall: The Box Calculus: a New Causal Algebra with Multi-label Communication. In Advances in Petri Nets 1992, LNCS 609:21\u201369, Springer-Verlag (1992)."},{"key":"2_CR13","volume-title":"Springer-Verlag","author":"E Best","year":"1992","unstructured":"E. Best, J. Esparza: Model checking of persistent Petri nets. Proc. of the Vth Workshop Computer Science Logic-91, LNCS 626:35\u201352, Springer-Verlag (1992)."},{"key":"2_CR14","volume-title":"Torino","author":"E Best","year":"1995","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, E. Pelz: A Class of Composable High Level Petri Nets. Proc. of Petri Nets\u201995, Torino, (eds. G.De Michelis, M. Diaz ), LNCS, Springer-Verlag (1995)."},{"key":"2_CR15","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, E. Pelz: An M-net Semantics of B(PN)2. In this volume."},{"key":"2_CR16","volume-title":"Springer-Verlag","author":"Proc. of PARLE-93, (eds. A. Bode, M. Reeve, G. Wolf)","year":"1993","unstructured":"Proc. of PARLE-93, (eds. A. Bode, M. Reeve, G. Wolf), LNCS 694:379\u2013390, Springer-Verlag (1993)."},{"key":"2_CR17","volume-title":"Torino","author":"E Best","year":"1995","unstructured":"E. Best, M. Koutny: A Refined View of the Box Calculus. Proc. of Petri Nets\u201995, Torino, (eds. G.De Michelis, M.Diaz), LNCS, Springer-Verlag (1995)."},{"key":"2_CR18","volume-title":"Szeged","author":"E Best","year":"1995","unstructured":"E. Best, M. Koutny: Solving Recursive Net Equations. Proc. of ICALP\u201995, Szeged, (ed. F.Gecseg ), LNCS, Springer-Ver lag (1995)."},{"key":"2_CR19","unstructured":"E. Best, H.G. Linde-G\u00f6ers: Compositional Process Semantics of Box Expressions. Presented at the IXth MFPS (Mathematical Foundations of Programming Semantics), New Orleans (1993), LNCS 802:250\u2013270, Springer-Verlag (1994). Extended version: Hildesheimer Informatikbericht 19\/93."},{"key":"2_CR20","volume-title":"Context Traces and Transition Systems","author":"I Biermann","year":"1994","unstructured":"I. Biermann, B. Rozoy: Context Traces and Transition Systems. ISCIS, Antalya (1994)."},{"key":"2_CR21","unstructured":"I. Biermann, B. Rozoy: Graphs for Generalized Traces. In this volume."},{"key":"2_CR22","volume-title":"An Object Oriented Specification Language based on Hierarchical Petri Nets","author":"D Buchs","year":"1994","unstructured":"D. Buchs, O. Biberstein: An Object Oriented Specification Language based on Hierarchical Petri Nets. IVth International IS-CORE WORKSHOP, Amsterdam (1994)."},{"key":"2_CR23","unstructured":"D. Buchs, O. Biberstein, N. Guelfi: COOPN2: an object oriented specification language for distributed system development. Submitted article."},{"key":"2_CR24","volume-title":"Springer-Verlag","author":"D Buchs","year":"1993","unstructured":"D. Buchs, N. Guelfi: Formal development of Actor programs using structured algebraic Petri nets. Proc. of PARLE\u201993, (eds. A. Bode, M. Reeve, G. Wolf), LNCS 694:379\u2013390, Springer-Verlag (1993)."},{"key":"2_CR25","unstructured":"A. Cheng, J. Esparza, J. Palsberg: Complexity Results for 1-safe Petri Nets. To appear in Theoretical Computer Science."},{"key":"2_CR26","volume-title":"of Milan","author":"A Chizzoni","year":"1994","unstructured":"A. Chizzoni: CLOWN: CLass Orientation With Nets. Master Degree Thesis, Dept. of Comp. Sei., Univ. of Milan (1994)."},{"key":"2_CR27","volume-title":"Advances in Petri Nets 1990, LNCS 483:113\u2013145, Springer-Verlag","author":"JM Colom","year":"1991","unstructured":"J.M. Colom, M. Silva: Improving the linearly based characterization of P\/T nets. In Advances in Petri Nets 1990, LNCS 483:113\u2013145, Springer-Verlag (1991)."},{"key":"2_CR28","volume-title":"Springer-Verlag","author":"J Desel","year":"1992","unstructured":"J. Desel: A proof of the Rank Theorem for extended free choice nets. Proc. of Petri Nets\u201992, Sheffield, (ed. K.Jensen), LNCS 616:134\u2013153, Springer-Verlag (1992)."},{"key":"2_CR29","volume-title":"Springer-Verlag","author":"J Desel","year":"1994","unstructured":"J. Desel: Regular Marked Petri Nets. Proc. of Graph-Theoretic Concepts in Computer Science (WG\u201993), Utrecht, (ed. Jan van Leeuwen), LNCS 790:276- 287, Springer-Verlag (1994)."},{"key":"2_CR30","volume-title":"Springer-Verlag","author":"J Desel","year":"1995","unstructured":"J. Desel, J. Esparza: Shortest paths in reachability graphs. Proc. of Petri Nets\u201993, Chicago, (ed. M. Ajmone Marsan), LNCS 691:224\u2013241, Springer-Verlag ( 1993 ). To appear in: Journal of Computer and System Science (1995)."},{"key":"2_CR31","volume-title":"Cambridge University Press","author":"J Desel","year":"1995","unstructured":"J. Desel, J. Esparza: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science 40, Cambridge University Press (1995)."},{"key":"2_CR32","volume-title":"Also to appear in Theoretical Computer Science","author":"J Desel","year":"1995","unstructured":"J. Desel, M.D. Radola: Proving non-reachability by modulo-place-invariants. Proc. of the XlVth Conference on the Foundations of Software Technology and Theoretical Computer Science, Madras, (ed. P. S.Thiagarajan), LNCS 880:366\u2013377, Springer-Verlag (1994). Also to appear in Theoretical Computer Science (1995)."},{"key":"2_CR33","volume-title":"Springer-Verlag","author":"J Desel","year":"1993","unstructured":"J. Desel, W. Reisig: The Synthesis Problem of Petri Nets. Proc. of STACS\u201993, (eds. P.Enjalbert, A.Finkel, K.W.Wagne), LNCS 665:120-129, Springer-Verlag (1993)."},{"key":"2_CR34","volume-title":"Universit\u00e9 Libre de Bruxelles","author":"R Devillers","year":"1992","unstructured":"R. Devillers: Tree Interfaces in the Petri Box Calculus. TR-LIT-265, Universit\u00e9 Libre de Bruxelles (1992)."},{"key":"2_CR35","volume-title":"Springer-Verlag","author":"R Devillers","year":"1993","unstructured":"R. Devillers: Construction of S-invariants and S-components for Refined Petri Boxes. Proc. of Petri Nets\u201993, Chicago, LNCS 691, Springer-Verlag (1993)."},{"key":"2_CR36","volume-title":"Universit\u00e9 Libre de Bruxelles","author":"R Devillers","year":"1993","unstructured":"R. Devillers: S-invariant Analysis of Petri Boxes. TR-LIT-273, Universit\u00e9 Libre de Bruxelles (1993)."},{"key":"2_CR37","volume-title":"Universit\u00e9 Libre de Bruxelles","author":"R Devillers","year":"1993","unstructured":"R. Devillers: Towards a General Relabelling Operator for the Petri Box Calculus. TR-LIT-274, Universit\u00e9 Libre de Bruxelles (1993)."},{"key":"2_CR38","volume-title":"Universit\u00e9 Libre de Bruxelles","author":"R Devillers","year":"1993","unstructured":"R. Devillers: On a more Liberal Synchronisation Operator for the Petri Box Calculus. TR-LIT-281, Universit\u00e9 Libre de Bruxelles (1993)."},{"key":"2_CR39","volume-title":"Submitted article","author":"R Devillers","year":"1993","unstructured":"R. Devillers: Modelling Petri Boxes are not too infinite. Submitted article (1993)."},{"key":"2_CR40","doi-asserted-by":"crossref","unstructured":"R. Devillers: Analysis of General Refined Petri Boxes. Proc. of the Xlllth International Conference of the Chilean Society of Computer Science (La Serena, Chile), 419\u2013434 (1993). Also in Computer Science 2: Research and Applications (Plenum Publishing), 411\u2013428 (1994).","DOI":"10.1007\/978-1-4757-9805-0_34"},{"key":"2_CR41","volume-title":"Universit\u00e9 Libre de Bruxelles","author":"R Devillers","year":"1994","unstructured":"R. Devillers: The Synchronisation Operator Revisited for the Petri Box Calculus TR-LIT-290, Universit\u00e9 Libre de Bruxelles (1994)."},{"key":"2_CR42","volume-title":"Universit\u00e9 Libre de Bruxelles","author":"R Devillers","year":"1994","unstructured":"R. Devillers: S-invariant Analysis of General Refined Petri Boxes. TR-LIT-293, Universit\u00e9 Libre de Bruxelles (1994)."},{"key":"2_CR43","volume-title":"To appear in Acta Informatica (1994 or","author":"R Devillers","year":"1995","unstructured":"R. Devillers: S-invariant Analysis of General Recursive Petri Boxes. TR-LIT-294, Universit\u00e9 Libre de Bruxelles (1994). To appear in Acta Informatica (1994 or 1995 )."},{"key":"2_CR44","unstructured":"R. Devillers and H. Klaudel: Refinement and Recursion in a High Level Petri Box Calculus. In this volume."},{"key":"2_CR45","unstructured":"V. Diekert, P. Gastin, A. Petit: Rational and Recognizable complex trace languages. To appear in Information and Computation."},{"volume-title":"Book on Traces","year":"1995","key":"2_CR46","unstructured":"V. Diekert, G. Rozenberg (eds.): Book on Traces, World Academic Publishing, Singapore 1995."},{"key":"2_CR47","unstructured":"A. Ehrenfeucht, T. Harju, G. Rozenberg: Invariants of dynamic labelled 2-structures. Submitted article."},{"key":"2_CR48","volume-title":"Springer-Verlag","author":"A Ehrenfeucht","year":"1993","unstructured":"A. Ehrenfeucht, G. Rozenberg: An introduction to dynamic labelled 2-structures. Proc. of MFCS\u201993, LNCS 711:156\u2013173, Springer-Verlag (1993)."},{"key":"2_CR49","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0960129500000554","volume":"4","author":"A Ehrenfeucht","year":"1995","unstructured":"A. Ehrenfeucht, G. Rozenberg: Dynamic labeled 2-structures. Mathematical Structures of Computer Science 4: 433\u2013455 (1995).","journal-title":"Mathematical Structures of Computer Science"},{"key":"2_CR50","volume-title":"Springer-Verlag","author":"A Ehrenfeucht","year":"1993","unstructured":"A. Ehrenfeucht, G. Rozenberg: Dynamic labeled 2-structures with variable domains. LNCS 812:97\u2013123, Springer-Verlag (1993)."},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"A. Ehrenfeucht, G. Rozenberg: Partial (Set) 2-Structures - Part 1: Basic Notions and the Representation Problem. Acta Informatica 26: 315\u2013342 (1990).","DOI":"10.1007\/BF00264611"},{"key":"2_CR52","doi-asserted-by":"crossref","unstructured":"A. Ehrenfeucht, G. Rozenberg: Partial (Set) 2-Structures - Part 2: State Spaces of Concurrent Systems. Acta Informatica 26: 343\u2013368 (1990).","DOI":"10.1007\/BF00264612"},{"key":"2_CR53","volume-title":"Springer-Verlag","author":"J Engelfriet","year":"1993","unstructured":"J. Engelfriet: A multiset semantics for the \u03c0-calculus with replication. Proc. of CONCUR\u201993, LNCS 715:7\u201321, Springer-Verlag (1993)."},{"key":"2_CR54","unstructured":"J. Engelfriet: A multisets semantics for the \u03c0-calculus with replication. RUL Report 194\u201326."},{"key":"2_CR55","unstructured":"J. Engelfriet, Tj. Gelsema: Multisets and structural congruence of the \u03c0-calculus with replication. RUL Report 195\u201302."},{"key":"2_CR56","unstructured":"J. Esparza: Model Checking based on Branching Processes. Habilitation, Hildesheim (1993). Published as: J. Esparza: Model Checking Using Net Unfoldings. Proc. of TAPSOFT\u201993 (1993), (eds. M.C. Gaudel, J.P. Jouannaud), LNCS 668:613\u2013628, Springer-Verlag (1993). Also in Science of Computer Programming 23:151\u2013195 (1994)."},{"key":"2_CR57","volume-title":"To appear in Theoretical Computer Science","author":"J Esparza","year":"1995","unstructured":"J. Esparza, G. Bruns: Trapping Mutual Exclusion in the Box Calculus. To appear in Theoretical Computer Science (1995)."},{"key":"2_CR58","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1109\/70.370500","volume":"2","author":"J Ezpeleta","year":"1995","unstructured":"J. Ezpeleta, J.M. Colom, J. Martinez: A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Trans. Robotics and Automation 11, 2: 173\u2013184 (1995).","journal-title":"IEEE Trans. Robotics and Automation 11"},{"key":"2_CR59","volume-title":"Synchronization Algebra and Multi-actions","author":"W Fr\u00e7czak","year":"1994","unstructured":"W. Fr\u00e7czak: Synchronization Algebra and Multi-actions. LRI-TR 896, Universit\u00e9 Paris Sud, Orsay (1994)."},{"key":"2_CR60","volume-title":"General Synchronization Operator in the Petri-Box Calculus","author":"W Fraczak","year":"1993","unstructured":"W. Fraczak, H. Klaudel: General Synchronization Operator in the Petri-Box Calculus. LRI-TR 821, Universit\u00e9 Paris Sud, Orsay (1993)."},{"key":"2_CR61","volume-title":"A Multi-Action Synchronization Schema and its Application to the PBC. ESDA94, ASME","author":"W Fraczak","year":"1994","unstructured":"W. Fraczak, H. Klaudel: A Multi-Action Synchronization Schema and its Application to the PBC. ESDA\u201994, ASME, Methodologies, techniques, and tools for design development, London (1994)."},{"key":"2_CR62","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0304-3975(94)90254-2","volume":"125","author":"P Gastin","year":"1994","unstructured":"P. Gastin, A. Petit, W. Zielonka: An extension of Kleene\u2019s and Ochmanski\u2019s theorems to infinite traces. Theoretical Computer Science 125: 167\u2013204 (1994).","journal-title":"Theoretical Computer Science"},{"key":"2_CR63","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0304-3975(93)90247-Q","volume":"120","author":"P Gastin","year":"1993","unstructured":"P. Gastin, B. Rozoy: The PoSet of Infinite Traces. Theoretical Computer Science 120: 101\u2013121 (1993).","journal-title":"Theoretical Computer Science"},{"key":"2_CR64","doi-asserted-by":"crossref","unstructured":"U. Goltz, R. Gorrieri, A. Rensink: On syntactic and semantic action refinement. In Theoretical Aspects of Computer Software, (eds. M. Hagiya, J. C. Mitchell), LNCS 789:385\u2013404. Springer-Verlag (1994). Full report version: Hildesheimer Informatik-Berichte 17\/92, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim.","DOI":"10.1007\/3-540-57887-0_106"},{"key":"2_CR65","unstructured":"U. Gorni: Sviluppo ed integrazione di strumenti di supporto alla verifica di propriet\u00e0\u2019 su reti modulari di alto livello. Master Degree Thesis. Dept. of Comp. Sci., Univ. of Milan (1994)."},{"key":"2_CR66","first-page":"309","volume-title":"J. Desel, A. Oberwies, W. Reisig), Workshop der Gl-Fachgruppe 0.01 Petrinetze und verwandte Systemmodelle, Bericht","author":"B Graves","year":"1994","unstructured":"B. Graves: Implementation of a Model Checking Algorithm Based on Partial Order Semantics. In Algorithmen und Werkzeuge f\u00fcr Petrinetze, (eds. J. Desel, A. Oberwies, W. Reisig), Workshop der Gl-Fachgruppe 0.01 \u201cPetrinetze und verwandte Systemmodelle\u201d, Bericht 309 Universit\u00e4t Karlsruhe, Berlin (1994)."},{"key":"2_CR67","volume-title":"Les r\u00e9seaux Alg\u00e9briques Hi\u00e9rarchiques: un formalisme de sp\u00e9cifications structur\u00e9es pour le d\u00e9veloppement de syst\u00e8mes concurrents. Ph.D. Thesis, Laboratoire de recherche en Informatique (LRI)","author":"N Guelfi","year":"1994","unstructured":"N. Guelfi: Les r\u00e9seaux Alg\u00e9briques Hi\u00e9rarchiques: un formalisme de sp\u00e9cifications structur\u00e9es pour le d\u00e9veloppement de syst\u00e8mes concurrents. Ph.D. Thesis, Laboratoire de recherche en Informatique (LRI), Universit\u00e9 Paris Sud, Orsay (1994)."},{"key":"2_CR68","volume-title":"Leiden University","author":"PW Hoogers","year":"1994","unstructured":"P.W. Hoogers: Behavioural aspects of Petri nets. Ph.D. Thesis, Leiden University (1994)."},{"key":"2_CR69","volume-title":"Springer-Verlag","author":"PW Hoogers","year":"1993","unstructured":"P.W. Hoogers, H.C.M. Kleijn, P.S. Thiagarajan: Local event structures and Petri nets. Proc. of CONCUR\u201993, LNCS 715:462\u2013476, Springer-Verlag (1993)."},{"key":"2_CR70","unstructured":"P.W. Hoogers, H.C.M. Kleijn, P.S. Thiagarajan: An event structure semantics for general Petri nets. RUL Report 193\u201313 (revised version of 192\u201322) (1993). Accepted by Theoretical Computer Science."},{"key":"2_CR71","unstructured":"R.P. Hopkins: Recursion and Refinement for a Generalisation of the Petri Box Calculus. Technical Report TR\u2013440, Dept. of Comp. Sci., University of Newcastle upon Tyne (1993)."},{"key":"2_CR72","unstructured":"R.P. Hopkins: Formalising Refinement and Composition of Concurrent Soft-ware. Draft paper."},{"key":"2_CR73","unstructured":"M. Huhn, H. Wehrheim: On Refining Logical Specifications. Hildesheimer Informatik-Bericht, University of Hildesheim 1995. In preparation."},{"key":"2_CR74","volume-title":"Representations of Discrete Interval Orders and Semi-Orders. TR-9302, Department of Comp","author":"R Janicki","year":"1993","unstructured":"R. Janicki, M. Koutny: Representations of Discrete Interval Orders and Semi-Orders. TR-9302, Department of Comp. Sci. and Systems, McMaster University (1993)."},{"key":"2_CR75","unstructured":"Also: TR\u2013425, Dept. of Comp. Sci., University of Newcastle upon Tyne (1993)."},{"key":"2_CR76","volume-title":"Springer-Verlag","author":"R Janicki","year":"1994","unstructured":"R. Janicki, M. Koutny: Deriving Histories of Nets with Priority Relation. Proc. of PARLE\u201994, LNCS, Springer-Verlag (1994)."},{"key":"2_CR77","volume-title":"Semantics of Inhibitor Nets. TR-9401, Dept. of Comp","author":"R Janicki","year":"1994","unstructured":"R. Janicki. M. Koutny: Semantics of Inhibitor Nets. TR-9401, Dept. of Comp. Sci. and Systems, McMaster University (1994)."},{"key":"2_CR78","volume-title":"Fundamentals of Modelling Concurrency Using Discrete Relational Structures. TR-9402, Dept. of Comp","author":"R Janicki","year":"1994","unstructured":"R. Janicki, M. Koutny: Fundamentals of Modelling Concurrency Using Discrete Relational Structures. TR-9402, Dept. of Comp. Sci. and Systems, McMaster University (1994)."},{"key":"2_CR79","volume-title":"Traitement de Donn\u00e9s dans lAlg\u00e8bre des Petri-Boxes. Rapport de stage de DEA, LRI","author":"H Klaudel","year":"1992","unstructured":"H. Klaudel: Traitement de Donn\u00e9s dans l\u2019Alg\u00e8bre des Petri-Boxes. Rapport de stage de DEA, LRI, Universit\u00e9 Paris Sud, Orsay (1992)."},{"key":"2_CR80","volume-title":"Full version in LRI-TR","author":"H Klaudel","year":"1995","unstructured":"H. Klaudel, E. Pelz: Communication as Unification in the Petri Box Calculus, To appear in FCT\u201995, Dresden, August 1995, LNCS, Springer-Verlag. Full version in LRI-TR 967, Universit\u00e9 Paris Sud, Orsay (1995)."},{"key":"2_CR81","volume-title":"Newcastle upon Tyne","author":"M Koutny","year":"1994","unstructured":"M. Koutny: Syntactic Derivation of Petri Boxes. Memo, Newcastle upon Tyne (1994)."},{"key":"2_CR82","volume-title":"Springer-Verlag","author":"M Koutny","year":"1994","unstructured":"M. Koutny: Partial Order Semantics of Box Expressions. Proc. of Petri Nets\u201994, Zaragoza, LNCS, Springer-Verlag (1994)."},{"key":"2_CR83","unstructured":"M. Koutny, J. Esparza, E. Best: Operational Semantics for the Petri Box Calculus. Proc. of CONCUR\u201994, LNCS, Springer-Verlag (1994). Long version: Hildesheimer Informatik-Berichte 13 \/93 (1993)."},{"key":"2_CR84","unstructured":"M. Koutny, M. Pietkiewicz-Koutny: On the Sleep Sets Method for Partial Order Verification of Concurrent Systems. Technical Report, Dept. of Comp. Sci., Newcastle upon Tyne (1994)."},{"key":"2_CR85","volume-title":"Also as Technical Re-port","author":"J Lilius","year":"1995","unstructured":"J. Lilius: On the Structure of High-level Nets. Doctoral Dissertation, Helsinki University of Technology, Dept. of Comp. Sei. (1995). Also as Technical Re-port A30, Helsinki University of Technology, Digital Systems Laboratory, Espoo (1995)."},{"key":"2_CR86","volume-title":"Thesis","author":"HG Linde-G\u00f6ers","year":"1993","unstructured":"H.G. Linde-G\u00f6ers: Process and Branching Process Semantics of Box Expres-sions. Ph.D. Thesis (1993)."},{"issue":"2","key":"2_CR87","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1142\/S0129054192000103","volume":"3","author":"K Lodaya","year":"1992","unstructured":"K. Lodaya, R. Ramanujam, P. S. Thiagarajan: Temporal logics for communi-cating sequential agents: I. International Journal of Foundations of Computer Science 3 (2): 117\u2013159 (1992).","journal-title":"International Journal of Foundations of Computer Science"},{"key":"2_CR88","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (eds. J. W. de Bakker, W.-P. de Roever, G. Rozenberg), LNCS 354:285\u2013363, Springer-Verlag","author":"A Mazurkiewicz","year":"1989","unstructured":"A. Mazurkiewicz: Basic notions of trace theory. In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, (eds. J. W. de Bakker, W.-P. de Roever, G. Rozenberg), LNCS 354:285\u2013363, Springer-Verlag (1989)."},{"key":"2_CR89","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"R. Milner, J. Parrow, D. Walker: A calculus of mobile processes, I. Information and Computation 100: 1\u201340 (1992).","journal-title":"Information and Computation"},{"key":"2_CR90","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M Mukund","year":"1992","unstructured":"M. Mukund: Petri Nets and Step Transition Systems. Int. Journal of Foundations of Computer Science 3. 4 (1992).","journal-title":"Int. Journal of Foundations of Computer Science"},{"key":"2_CR91","volume-title":"Springer-Verlag","author":"P Niebert","year":"1995","unstructured":"P. Niebert: A \u03bc-calculus with local views for systems of sequential agents. To be presented at MFCS\u201995, LNCS, Springer-Verlag (1995)."},{"key":"2_CR92","volume-title":"On the Connection of Partial Order Logics and Partial Order Reduction Methods","author":"P Niebert","year":"1994","unstructured":"P. Niebert, W. Penczek: On the Connection of Partial Order Logics and Partial Order Reduction Methods. Technical University Eindhoven. Technical Report (1994)."},{"key":"2_CR93","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"M. Nielsen, G.D. Plotkin, G. Winskel: Petri nets, event structures and domains, part 1. Theoretical Computer Science 13: 85\u2013108 (1981).","journal-title":"Theoretical Computer Science"},{"key":"2_CR94","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Rozenberg, P. S. Thiagarajan: Elementary Transition Systems. Theoretical Computer Science 96 \/1 (1992).","DOI":"10.1016\/0304-3975(92)90180-N"},{"key":"2_CR95","volume-title":"Springer-Verlag","author":"D Peled","year":"1993","unstructured":"D. Peled: All from one and one from all: on model checking using representatives. Proc. of the International Workshop on Computer Aided Verification CAV, LNCS 409\u2013423, Springer-Verlag (1993)."},{"key":"2_CR96","volume-title":"Gelembe Erol) 189\u2013196","author":"P Racloz","year":"1993","unstructured":"P. Racloz: Analyse des Reseaux Algebriques a l\u2019aide de la logique temporelle. Ph.D. Thesis, CUI, Geneve, Suisse, 1994. Also in P. Racloz, D.Buchs, Symbolic Proof of CTL Formulae over Petri Nets, Proc. of the VHIth ISCIS (eds. Gun Levent, Onvural Raif, Gelembe Erol) 189\u2013196 (1993)."},{"key":"2_CR97","unstructured":"L. Recalde, E. Teruel, M. Silva: On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Process. In this volume."},{"key":"2_CR98","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF00264434","volume":"18","author":"W Reisig","year":"1982","unstructured":"W. Reisig: Deterministic buffer synchronization of sequential processes. Acta Informatica 18: 117\u2013134 (1982).","journal-title":"Acta Informatica"},{"key":"2_CR99","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W Reisig","year":"1991","unstructured":"W. Reisig: Petri Nets and Algebraic Specifications. Theoretical Computer Science 80: 1\u201334 (1991).","journal-title":"Theoretical Computer Science"},{"key":"2_CR100","volume-title":"Programming Concepts, Methods and Calculi","author":"A Rensink","year":"1994","unstructured":"A. Rensink: Methodological aspects of action refinement. In Programming Concepts, Methods and Calculi, IFIP, North-Holland Publishing Company (1994)."},{"key":"2_CR101","unstructured":"A. Rensink: An event-based SOS for a language with refinement. In this volume."},{"key":"2_CR102","volume-title":"Implementierung der Branching-Box-Algebra","author":"St. R\u00f6mer","year":"1993","unstructured":"St. R\u00f6mer: Implementierung der Branching-Box-Algebra. Master Degree Thesis, Hildesheim (1993)."},{"key":"2_CR103","unstructured":"B. Rozoy: The Distributed monoid, a Model for Parallelism, Elsevier. Book to appear."},{"key":"2_CR104","volume-title":"On the Star Problem in trace monoids","author":"B Rozoy","year":"1993","unstructured":"B. Rozoy: On the Star Problem in trace monoids, Automata and Models for Concurrency. Dagstuhl (1993)."},{"key":"2_CR105","volume-title":"Springer-Verlag","author":"M Silva","year":"1993","unstructured":"M. Silva: Interleaving Functional and Performance Structural Analysis of Net Models. Proc. of Petri Nets\u201993, Chicago, LNCS 691:17\u201323, Springer-Verlag (1993)."},{"key":"2_CR106","volume-title":"Procs. of the Xlth Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems, Lecture Notes in Control and Information Sciences 199:131\u2013143, Springer-Verlag","author":"M Silva","year":"1994","unstructured":"M. Silva, E. Teruel: Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. In Procs. of the Xlth Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems, Lecture Notes in Control and Information Sciences 199:131\u2013143, Springer-Verlag (1994)."},{"key":"2_CR107","volume-title":"Concurrency 88, LNCS 335:380\u2013400, Springer-Verlag","author":"Y Souissi","year":"1988","unstructured":"Y. Souissi, N. Beldiceanu: Deterministic systems of sequential processes: Theory and tools. In Concurrency 88, LNCS 335:380\u2013400, Springer-Verlag (1988)."},{"key":"2_CR108","volume-title":"Structure Theory of Weighted Place\/Transition Net Systems: The Equal Conflict Hiatus","author":"E Teruel","year":"1994","unstructured":"E. Teruel: Structure Theory of Weighted Place\/Transition Net Systems: The Equal Conflict Hiatus. Dissertation, DIEI. Univ. Zaragoza (1994)."},{"key":"2_CR109","volume-title":"Springer-Verlag","author":"E Teruel","year":"1992","unstructured":"E. Teruel, P. Chrzastowski-Wachtel, J.M. Colom, M. Silva: On weighted T-systems. Proc. of Petri Nets\u201992, Sheffield, LNCS 616:348\u2013367, Springer-Verlag (1992)."},{"key":"2_CR110","volume-title":"North Holland","author":"E Teruel","year":"1993","unstructured":"E. Teruel, J.M. Colom, M. Silva: Linear Analysis of Deadlock-Freeness of Petri Net Models. Proc. of the Ilth European Control Conference 93, Groningen, 2:513\u2013518, North Holland (1993)."},{"key":"2_CR111","volume-title":"Decentralized and Distributed Systems, IFIP Transactions A-39:213\u2013224, Elsevier","author":"E Teruel","year":"1994","unstructured":"E. Teruel, J.M. Colom, M. Silva: Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. In Decentralized and Distributed Systems, IFIP Transactions A-39:213\u2013224, Elsevier (1994)."},{"key":"2_CR112","volume-title":"Springer-Verlag","author":"E Teruel","year":"1993","unstructured":"E. Teruel, M. Silva: Liveness and Home States in Equal Conflict Systems. Proc. of Petri Nets\u201993, Chicago, LNCS 691:415\u2013432, Springer-Verlag (1993)."},{"key":"2_CR113","volume-title":"Springer-Verlag","author":"E Teruel","year":"1994","unstructured":"E. Teruel, M. Silva: Well-formedness of Equal Conflict Systems. Proc. of Petri Nets\u201994, Zaragoza, LNCS 815:491\u2013510, Springer-Verlag (1994)."},{"key":"2_CR114","volume-title":"Structure Theory of Equal Conflict Systems","author":"E Teruel","year":"1995","unstructured":"E. Teruel, M. Silva: Structure Theory of Equal Conflict Systems. To appear in Theoretical Computer Science (1995)."},{"key":"2_CR115","volume-title":"Springer-Verlag","author":"E Teruel","year":"1994","unstructured":"E. Teruel, M. Silva, J.M. Colom, J. Campos: Functional and Performance Analysis of Cooperating Sequential Processes. Procs. of the Xlth Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. Lecture Notes in Control and Information Sciences 199:169\u2013175, Springer-Verlag (1994)."},{"key":"2_CR116","volume-title":"of the IXth annual IEEE symposium on Logic in Computer Science (LICS)","author":"PS Thiagarajan","year":"1994","unstructured":"P.S. Thiagarajan: A trace based extension of Linear Time Temporal Logic. Proc. of the IXth annual IEEE symposium on Logic in Computer Science (LICS) (1994)."},{"key":"2_CR117","first-page":"309","volume-title":"J. Desel, A. Oberweis, W. Reisig), Workshop der GI-Fachgruppe 0.01 Petrinetze und verwandte Systemmodelle, Bericht","author":"TH Thielke","year":"1994","unstructured":"Th. Thielke: Modelchecking als Komponente der petrinetzbasierten Entwicklungs- und Programmierumgebung PEP. In Algorithmen und Werkzeuge f\u00fcr Petrinetze, (eds. J. Desel, A. Oberweis, W. Reisig), Workshop der GI-Fachgruppe 0.01 \u201cPetrinetze und verwandte Systemmodelle\u201d, Bericht 309 Universit\u00e4t Karlsruhe, Berlin (1994)."},{"key":"2_CR118","volume-title":"Springer-Verlag","author":"J Vautherin","year":"1987","unstructured":"J. Vautherin: Parallel systems specification with colored Petri nets and algebraic specification. LNCS 266, Springer-Verlag (1987)."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,21]],"date-time":"2019-04-21T10:17:44Z","timestamp":1555841864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":118,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_2","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}