{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:42:39Z","timestamp":1725489759330},"publisher-location":"Berlin, Heidelberg","reference-count":74,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430674"},{"type":"electronic","value":"9783540455417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45541-8_7","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T10:55:33Z","timestamp":1187261733000},"page":"173-229","source":"Crossref","is-referenced-by-count":2,"title":["Parameterized Net Classes: A Uniform Approach to Petri Net Classes"],"prefix":"10.1007","author":[{"given":"Julia","family":"Padberg","sequence":"first","affiliation":[]},{"given":"Hartmut","family":"Ehrig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,18]]},"reference":[{"key":"7_CR1","unstructured":"J. Adamek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Series in Pure and Applied Mathematics. John Wiley and Sons, 1990."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"E. Badouel, M. Bednarczyk, and P. Darondeau. Generalized Automata and their Net Representations. In H. Ehrig, G. Juh\u00e0s, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, Advances in Petri Nets. Springer, 2001.","DOI":"10.1007\/3-540-45541-8_10"},{"key":"7_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-50580-6_22","volume-title":"Advances in Petri nets","author":"E. Battiston","year":"1988","unstructured":"E. Battiston, F. De Cindio, and G. Mauri. OBJSA nets: a class of high-level nets having objects as domains. In G. Rozenberg, editor, Advances in Petri nets, volume 340 of Lecture Notes in Computer Science, pages 20\u201343. Springer Verlag Berlin, 1988."},{"key":"7_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-60164-3_18","volume-title":"6th International Conference on Category Theory and Computer Science","author":"E. Badouel","year":"1995","unstructured":"E. Badouel and Ph. Darondeau. Dualities between nets and automata induced by schizofrenic objects. In 6th International Conference on Category Theory and Computer Science, pages 24\u201343. Springer, LNCS 953, 1995."},{"key":"7_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets: Basic Models","author":"E. Badouel","year":"1998","unstructured":"E. Badouel and Ph. Darondeau. Theory of regions. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets: Basic Models, pages 529\u2013586. Springer, LNCS 1491, 1998."},{"key":"7_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/3-540-55610-9_177","volume-title":"Advances in Petri Nets\u201992","author":"L. Bernardinello","year":"1992","unstructured":"L. Bernardinello and F. De Cindio. A survey of basic net models and modular net classes. In Advances in Petri Nets\u201992, pages 304\u2013351. Springer LNCS 609, 1992."},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets","author":"E. Best","year":"1992","unstructured":"E. Best, R. Devillers, and J. Hall. The Box Calculus: a new causal algebra with multi-label communication. In Advances in Petri Nets, pages 21\u201369. Lecture Notes in Computer Science 609, 1992."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Advances in Petri Nets","author":"W. Brauer","year":"1990","unstructured":"W. Brauer, R. Gold, and W. Vogler. A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. Advances in Petri Nets, Lecture Notes in Computer Science 483:1\u201346, 1990."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1017\/S0960129598002606","volume":"9","author":"F. Cornelius","year":"1999","unstructured":"F. Cornelius, M. Baldamus, H. Ehrig, and F. Orejas. Abstract and behaviour module specifications. Mathematical Structures in Computer Science, 9:21\u201362, 1999.","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BFb0015474","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","author":"F. Cornelius","year":"1995","unstructured":"F. Cornelius, H. Hu\u00dfmann, and M. L\u00f6we. The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System. In M. Broy and S. J\u00e4hnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, pages 417\u2013445. Springer LNCS 1009, 1995. Also appeared as technical report 94-5, TU Berlin."},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/0005-1098(94)90024-8","volume":"30","author":"R. David","year":"1994","unstructured":"R. David and H. Alla. Petri nets for modelling of dynamic systems-a survey. Automatica, 30(2):175\u2013202, 1994.","journal-title":"Automatica"},{"key":"7_CR12","unstructured":"W. Deiters and V. Gruhn. Software Process Model Analysis Based on FUNSOFT Nets. Mathematical Modelling and Simulation, 8, May 1991."},{"issue":"2","key":"7_CR13","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1142\/S021819409400012X","volume":"4","author":"W. Deiters","year":"1994","unstructured":"W. Deiters and V. Gruhn. The FunSoft Net Approach to Software Process Management. International Journal on Software Engineering and Knowledge Engineering, 4(2):229\u2013256, June 1994.","journal-title":"International Journal on Software Engineering and Knowledge Engineering"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008654224389","volume":"5","author":"W. Deiters","year":"1998","unstructured":"W. Deiters and V. Gruhn. Process Management in Practice-Applying the FunSoft Net Approach to Large-Scale Processes. Automated Software Engineering, 5:7\u201325, 1998.","journal-title":"Automated Software Engineering"},{"key":"7_CR15","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets: Unifying Petri Nets","author":"J. Desel","year":"2001","unstructured":"J. Desel, G. Juh\u00e1s, and R. Lorenz. Petri Nets over Partial Algebras. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, LNCS. Springer, 2001."},{"key":"7_CR16","unstructured":"M. Droste and Shrott R. M. Petri nets and automata with concurrency relation-an adjunction. In M. Droste and Y. Gurevich, editors, Semantics of Programming Languages and Model Theory, pages 69\u201397. Gordon and Breach Sc. Publ., 1993."},{"key":"7_CR17","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets: Unifying Petri Nets","author":"M. Droste","year":"2001","unstructured":"M. Droste and R.M. Shortt. Continuous Petri Nets and Transition Systems. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, LNCS. Springer, 2001."},{"key":"7_CR18","unstructured":"H. Ehrig, M. Baldamus, F. Cornelius, and F. Orejas. Theory of algebraic module specification including behavioural semantics and constraints and aspects of generalized morphisms. In Proc. AMAST\u2019 91, Iowa City. University of Iowa, 1991."},{"key":"7_CR19","unstructured":"H. Ehrig, M. Baldamus, and F. Orejas. New concepts for amalgamation and extension in the framework of specification logics. Technical Report 91-05, Technical University of Berlin, 1991."},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(94)90110-4","volume":"135","author":"H. Ehrig","year":"1994","unstructured":"H. Ehrig and M. Gro\u00dfe-Rhode. Functorial theory of parameterized specifications in a general specification framework. Theoretical Computer Science, (135):221\u2013266, 1994.","journal-title":"Theoretical Computer Science"},{"key":"7_CR21","unstructured":"H. Ehrig, M. Gajewsky, S. Lembke, J. Padberg, and V. Gruhn. Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe Petrinetz-Technologie. Forschergruppe Petrinetz-Technologie, 1997. Technical Report TR 97-21, Technische Universit\u00e4t Berlin."},{"key":"7_CR22","unstructured":"H. Ehrig, M. Gajewsky, S. Lembke, and J. Padberg. Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application. In Lindsay Groves and Steve Reeves, editors, Formal Methods Pacific\u2019 97, pages 297\u2013298. Springer-Verlag Singapore Pte. Ltd, 1997."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"H. Ehrig, M. Gro\u00dfe-Rhode, and U. Wolter. On the role of category theory in the area of algebraic specifications. In LNCS, Proc. WADT11, Oslo. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61629-2_34"},{"key":"7_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BFb0017395","volume-title":"4th Int. Workshop on Graph Grammars and their Application to Computer Science","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. From graph grammars to High Level Replacement Systems. In H. Ehrig, H.-J. Kreowski, and G. Rozenberg, editors, 4th Int. Workshop on Graph Grammars and their Application to Computer Science, LNCS 532, pages 269\u2013291. Springer Verlag, 1991. Lecture Notes in Computer Science 532."},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361\u2013404, 1991.","journal-title":"Math. Struct. in Comp. Science"},{"key":"7_CR26","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985."},{"key":"7_CR27","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of Computer Science: Potential-Theory-Cognition","author":"H. Ehrig","year":"1997","unstructured":"H. Ehrig and J. Padberg. A Uniform Approach to Petri Nets. In Ch. Freksa, M. Jantzen, and R. Valk, editors, Foundations of Computer Science: Potential-Theory-Cognition. Springer, LNCS 1337, 1997."},{"key":"7_CR28","unstructured":"C. Ermel, J. Padberg, and H. Ehrig. Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets. In D. Cooke, B.J. Kr\u00e4mer, P. C-Y. Sheu, J.P. Tsai, and R. Mittermeir, editors, Proc. Integrated Design and Process Technology, pages 186\u2013193. Society for Design and Process Science, 1996. Vol. 1."},{"key":"7_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-57867-6_11","volume-title":"Recent Trends in Data Type Specification","author":"H. Ehrig","year":"1994","unstructured":"H. Ehrig, J. Padberg, and L. Ribeiro. Algebraic High-Level Nets: Petri Nets Revisited. In Recent Trends in Data Type Specification, pages 188\u2013206. Springer Verlag, 1994. Lecture Notes in Computer Science 785."},{"key":"7_CR30","unstructured":"H. Ehrig, J. Padberg, and G. Rozenberg. Behaviour and realization construction for Petri nets based on free monoid and power set graphs. In Workshop on Concurrency, Specification & Programming. Humboldt University, 1994. Extended version as Technical Report of University of Leiden."},{"key":"7_CR31","first-page":"52","volume":"61","author":"H. Ehrig","year":"1996","unstructured":"H. Ehrig and W. Reisig. Integration of Algebraic Specifications and Petri Nets. Bulletin EATCS, Formal Specification Column, (61):52\u201358, 1996.","journal-title":"Bulletin EATCS, Formal Specification Column"},{"key":"7_CR32","unstructured":"C. Ermel. Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen. Technical Report 96-15, TU Berlin, 1996."},{"key":"7_CR33","unstructured":"E. Fleck, H. Hansen, B. Mahr, and H. Oswald. Systementwicklung f\u00fcr die Integration und Kommunikation von Patientendaten und-dokumenten. Forschungsbericht 02-91, PMI am DHZB, 1991."},{"key":"7_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Proc. Logics of Programming Workshop, Carnegie-Mellon","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen and R.M. Burstall. Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon, Springer LNCS 164:221\u2013256, 1984."},{"key":"7_CR35","doi-asserted-by":"crossref","unstructured":"H.J. Genrich. Predicate\/Transition Nets. In High-Level Petri Nets: Theory and Application, pages 3\u201343. Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"7_CR36","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach. System Modelling with High-Level Petri Nets. Theoretical Computer Science, 13:109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"key":"7_CR37","unstructured":"Volker Gruhn and Sabine Lembke. Integration of Petri Net Based Process Description with Different Data Modelling Techniques. In Third World Conference on Integrated Design and Process Technology, pages 105\u2013112. Society for Process and Design, 1998."},{"key":"7_CR38","unstructured":"Volker Gruhn and Sabine Lembke. Flexible Integration of Petri Net Based Process Description with User-Specific Data Descriptions. Journal of Integrated Design and Process Technology, 1999. To appear."},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"U. Goltz and W. Reisig. The Non-Sequential Behaviour of Petri Nets. In Information and Computation, pages 125\u2013147. Academic Press, 1983.","DOI":"10.1016\/S0019-9958(83)80040-0"},{"key":"7_CR40","unstructured":"U. Hummert. Algebraische High-Level Netze. PhD thesis, Technische Universit\u00e4t Berlin, 1989."},{"key":"7_CR41","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen. Coloured Petri Nets and the Invariant Method. Theoretical Computer Science, 14:317\u2013336, 1981.","journal-title":"Theoretical Computer Science"},{"key":"7_CR42","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1992."},{"key":"7_CR43","doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg, editors. High-Level Petri-Nets: Theory and Application. Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6"},{"key":"7_CR44","unstructured":"Gabriel Juh\u00e1s. Algebraically generalised Petri nets. PhD thesis, Institute of Control Theory and Robotics, Slovak Academy of Sciences, 1998."},{"key":"7_CR45","doi-asserted-by":"crossref","unstructured":"Gabriel Juh\u00e1s. The essence of Petri nets and transition systems through Abelian groups. Electronic Notes in Theoretical Computer Science, 18, 1998.","DOI":"10.1016\/S1571-0661(05)80252-X"},{"key":"7_CR46","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-48745-X_20","volume-title":"Proc. of 20th Conference on Theory and Application of Petri nets","author":"G. Juh\u00e1s","year":"1999","unstructured":"Gabriel Juh\u00e1s. Reasoning about algebraic generalisation of Petri nets. In Proc. of 20th Conference on Theory and Application of Petri nets, pages 324\u2013343. Springer, LNCS 1639, 1999."},{"key":"7_CR47","doi-asserted-by":"crossref","unstructured":"H. Klaudel and E. Pelz. Communication as unification in the Petri Box Calculus. Technical report, LRI, Universite de Paris Sud, 1995.","DOI":"10.1007\/3-540-60249-6_62"},{"key":"7_CR48","unstructured":"Ekkart Kindler and Michael Weber. The dimensions of Petri nets: The Petri net cube. Informatik-Bericht, Humboldt-Universit\u00e4t zu Berlin, 1998. To appear."},{"key":"7_CR49","unstructured":"J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, 1995. Digital Systems Laoratory, Research Report 33."},{"key":"7_CR50","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/3-540-51722-7_4","volume-title":"Categorical Methods in Computer Science-with Aspects from Topology","author":"B. Mahr","year":"1989","unstructured":"B. Mahr. Empty carriers: the categorical burden on logic. In H. Ehrig, H. Herrlich, H.J. Kreowski, and G. Preu\u00df, editors, Categorical Methods in Computer Science-with Aspects from Topology, pages 50\u201365. Springer LNCS 393, 1989."},{"key":"7_CR51","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"7_CR52","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"7_CR53","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"7_CR54","unstructured":"J. Padberg. Survey of high-level replacement systems. Technical Report 93\/8, Technical University of Berlin, 1993."},{"key":"7_CR55","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag."},{"key":"7_CR56","unstructured":"Julia Padberg. Classification of Petri Nets Using Adjoint Functors. Bulletin of EACTS 66, 1998."},{"key":"7_CR57","unstructured":"J. Padberg. The Petri Net Baukasten: An Application-Oriented Petri Net Technology. In H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999 Weber et al. [WER99], pages 191\u2013209."},{"key":"7_CR58","doi-asserted-by":"crossref","unstructured":"Julia Padberg. Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures, 7(4):371\u2013403, December 1999.","DOI":"10.1023\/A:1008695316594"},{"key":"7_CR59","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217\u2013256, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR60","series-title":"Lect Notes Comput Sci","volume-title":"Advances in Petri Nets: Unifying Petri Nets","author":"J. Padberg","year":"2001","unstructured":"J. Padberg, H. Ehrig, and G. Rozenberg. Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. In H. Ehrig, G. Juh\u00e1s, J. Padberg, and G. Rozenberg, editors, Advances in Petri Nets: Unifying Petri Nets, LNCS. Springer, 2001."},{"key":"7_CR61","series-title":"Lect Notes Comput Sci","first-page":"410","volume-title":"Theory and Application of Graph Transformations (TAGT\u201998)","author":"J. Padberg","year":"1999","unstructured":"Julia Padberg, Maike Gajewsky, and Kathrin Hoffmann. Incremental Development of Safety Properties in Petri Net Transformations. In G. Engels and G. Rozenberg, editors, Theory and Application of Graph Transformations (TAGT\u201998), Lecture Notes in Computer Science 1764, pages 410\u2013425. Springer Verlag, 1999."},{"key":"7_CR62","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019981","volume-title":"Bibliography of Petri Nets 1990","author":"H. Pl\u00fcnnecke","year":"1991","unstructured":"H. Pl\u00fcnnecke and W. Reisig. Bibliography of Petri Nets 1990. Springer LNCS 524, 1991."},{"key":"7_CR63","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985."},{"key":"7_CR64","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science (Fundamental Studies), (80):1\u201334, April 1991.","DOI":"10.1016\/0304-3975(91)90203-E"},{"key":"7_CR65","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Applications","year":"1998","unstructured":"Reisig, W. and Rozenberg, G., editors. Lectures on Petri Nets I: Applications, volume 1492 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"7_CR66","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W. and Rozenberg, G., editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"7_CR67","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/BFb0027048","volume-title":"Current Trends in Concurrency","author":"G. Rozenberg","year":"1986","unstructured":"G. Rozenberg and P.S. Thiagarajan. Petri nets: Basic notions, structure, behaviour. In Current Trends in Concurrency, pages 585\u2013668. Lecture Notes in Computer Science 224, Springer, 1986."},{"key":"7_CR68","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S096012959700248X","volume":"8","author":"V. Sassone","year":"1998","unstructured":"V. Sassone. An axiomatization of the category of Petri net computations. Mathematical Structures in Computer Science, 8:117\u2013151, 1998.","journal-title":"Mathematical Structures in Computer Science"},{"key":"7_CR69","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/3-540-13346-1_17","volume-title":"Proc. Int. Symposium on Semantics of Data Types","author":"D. T. Sannella","year":"1984","unstructured":"D. T. Sannella and A. Tarlecki. Building specifications in an arbitrary institution. In Proc. Int. Symposium on Semantics of Data Types, LNCS 173, pages 337\u2013356. Springer, 1984."},{"key":"7_CR70","unstructured":"A. Tarlecki, R.M. Burstall, and J.A. Goguen. Some fundamental algebraic tools for the semantics of computation. Part III: Indexed categories. Technical report, University of Edinburgh, 1987."},{"key":"7_CR71","unstructured":"J. Vautherin. Parallel Specification with Coloured Petri Nets and Algebraic Data Types. In Proc. of the 7th European Workshop on Application and Theory of Petri nets, pages 5\u201323, Oxford, England, jul. 1986."},{"key":"7_CR72","unstructured":"H. Weber, H. Ehrig, and W. Reisig, editors. Int. Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Part II: The \u226bPetri Net Baukastens\u226a. Fraunhofer Gesellschaft ISST, October 1999."},{"key":"7_CR73","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel. Petri nets, algebras, morphisms, and compositionality. Information and Computation, 72:197\u2013238, 1987.","journal-title":"Information and Computation"},{"key":"7_CR74","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/BFb0014445","volume-title":"Recent Trends in Data Type Specification","author":"U. Wolter","year":"1995","unstructured":"U. Wolter. Institutional frames. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, pages 469\u2013482. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S. Margherita Italy, May\/June 1994, Selected papers, Springer, LNCS 906, 1995."}],"container-title":["Lecture Notes in Computer Science","Unifying Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45541-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T04:25:09Z","timestamp":1556771109000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45541-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430674","9783540455417"],"references-count":74,"URL":"https:\/\/doi.org\/10.1007\/3-540-45541-8_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}