{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:14Z","timestamp":1775054054523,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540505808","type":"print"},{"value":"9783540460596","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50580-6_40","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:27:58Z","timestamp":1330183678000},"page":"418-439","source":"Crossref","is-referenced-by-count":33,"title":["On the implementation of Petri nets"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Taubner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","first-page":"55","volume":"6","author":"M. Auguin","year":"1980","unstructured":"M. Auguin, F. Boeri, C. Andr\u00e9: Systematic Method of Realization of Interpreted Petri Nets; Digital Processes 6 (1980) 55\u201368","journal-title":"Digital Processes"},{"key":"20_CR2","unstructured":"E. Best, C. Fernandez: Notations and Terminology on Petri Net Theory; Arbeitspapiere der GMD 195 (1986)"},{"key":"20_CR3","first-page":"3","volume":"16","author":"W. Brauer","year":"1984","unstructured":"W. Brauer: How to play the token game? Petri Net Newsletter 16 (1984) 3\u201313","journal-title":"Petri Net Newsletter"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"12","author":"G. Bruno","year":"1986","unstructured":"G. Bruno, G. Marchetto: Process-translatable Petri Nets for the Rapid Prototyping of Process Control Systems; IEEE Trans. on Software Engineering 12 (1986) 346\u2013357","journal-title":"IEEE Trans. on Software Engineering"},{"key":"20_CR5","unstructured":"J.M. Colom, M. Silva, J.L. Villarroel: On Software Implementation of Petri Nets and Colored Petri Nets using High-level Concurrent Languages; Proc. 7th Petri Net Workshop, Oxford England (1986) 207\u2013241"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"M. Courvoisier: A Matrix-based Implementation of Generalized Petri Nets; in: A.Pagnoni, G.Rozenberg (eds.): Applications and Theory of Petri Nets; Springer IFB 66 (1983) 60\u201373","DOI":"10.1007\/978-3-642-69028-0_5"},{"key":"20_CR7","unstructured":"R. Devillers: The Semantics of Capacities in P\/T-nets: A First Look; Proc. 6th Petri Net Workshop, Espoo Finland (1985) 171\u2013190"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"H.J. Genrich, E. Stankiewicz-Wichno: A Dictionary of Some Basic Notions of Net Theory; in: W.Brauer(ed.): Net Theory and Applications; Springer LNCS 84 (1980) 519\u2013531","DOI":"10.1007\/3-540-10001-6_39"},{"key":"20_CR9","first-page":"10","volume":"21","author":"U. Goltz","year":"1985","unstructured":"U. Goltz: Considering Nets as Distributed Transition Systems; Petri Net Newsletter 21 (1985) 10\u201319","journal-title":"Petri Net Newsletter"},{"key":"20_CR10","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0019-9958(82)91195-0","volume":"53","author":"U. Golze","year":"1982","unstructured":"U. Golze, L. Priese: Petri Net Implementations by a Universal Cell Space; Information and Control 53 (1982) 121\u2013138","journal-title":"Information and Control"},{"key":"20_CR11","unstructured":"F. Grandoni, P. Zerbetto: Description and Asynchronous Implementation of Control Structures for Concurrent Systems; in: A.G\u00fcnther et al.(eds.): Int. Computing Symposium 1973; North-Holland (1974) 151\u2013158"},{"key":"20_CR12","unstructured":"G. Hartung: Programming a Closely Coupled Multiprocessor System with High Level Petri Nets; Proc. 8th Petri Net Workshop, Zaragoza Spain (1987) 489\u2013508"},{"key":"20_CR13","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare: Communicating Sequential Processes; CACM 21 (1978) 666\u2013677","journal-title":"CACM"},{"key":"20_CR14","unstructured":"Inmos Limited: Occam Programming Manual; Prentice Hall 1984"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"E. Jessen, R. Valk: Rechensysteme; Springer 1987","DOI":"10.1007\/978-3-642-71120-6"},{"key":"20_CR16","unstructured":"A. Kiehn: On the Concurrent Behaviour of Petri Nets; Univ. Hamburg Bericht FBI-HH-B-120\/86 (1986)"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"H. Krayl, E.J. Neuhold, C. Unger: Grundlagen der Betriebssysteme; de Gruyter (1975)","DOI":"10.1515\/9783110843057"},{"key":"20_CR18","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1109\/TSE.1983.235118","volume":"9","author":"R. Nelson","year":"1983","unstructured":"R. Nelson, L. Haibt, P. Sheridan: Casting Petri Nets into Programs; IEEE Trans. on Software Engeneering 9 (1983) 590\u2013602","journal-title":"IEEE Trans. on Software Engeneering"},{"key":"20_CR19","unstructured":"D. Pountain: A Tutorial Introduction to Occam Programming; Part of the documentation of the Occam 2 software, 29 Oct. 1985"},{"key":"20_CR20","unstructured":"W. Reisig: On the Semantics of Petri Nets; in: E.J.Neuhold, G.Chroust(eds.): Formal Models in Programming; North-Holland, IFIP (1985) 347\u2013372"},{"key":"20_CR21","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0304-3975(83)90021-X","volume":"26","author":"G. Rozenberg","year":"1983","unstructured":"G. Rozenberg, R. Verraedt: Subset Languages of Petri Nets, Part I and II; TCS 26 (1983) 301\u2013326 and TCS 27 (1983) 85\u2013108","journal-title":"TCS"},{"key":"20_CR22","unstructured":"H.A. Schmid: An Approach to the Communication and Synchronization of Processes; in: A.G\u00fcnther et al.(eds.): Int. Computing Symposium 1973; North-Holland (1974) 165\u2013171"},{"key":"20_CR23","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1177\/003754978103700604","volume":"37","author":"A.A. T\u00f6rn","year":"1981","unstructured":"A.A. T\u00f6rn: Simulation Graphs: A General Tool for Modeling Simulation Designs; Simulation 37 (1981) 187\u2013194","journal-title":"Simulation"},{"key":"20_CR24","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0020-0190(81)90023-5","volume":"12","author":"J. Winkowski","year":"1981","unstructured":"J. Winkowski: Protocols of Accessing Overlapping Sets of Resources; Information Processing Letters 12 (1981) 239\u2013243","journal-title":"Information Processing Letters"},{"key":"20_CR25","unstructured":"J. Winkowski: A Distributed Implementation of Petri Nets; Polish Academy of Sciences, Inst. of Comp. Sc., Warsaw, Report No. 518 (1983)"},{"key":"20_CR26","doi-asserted-by":"crossref","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 (1987) 197\u2013238","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1988"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50580-6_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:18:34Z","timestamp":1605629914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50580-6_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540505808","9783540460596"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-50580-6_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988]]}}}