{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:32:32Z","timestamp":1742387552607},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_80","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:31:56Z","timestamp":1330173116000},"page":"140-155","source":"Crossref","is-referenced-by-count":18,"title":["Generalizations of Petri nets"],"prefix":"10.1007","author":[{"given":"R\u00fcdiger","family":"Valk","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"11_CR1","volume-title":"Towards a Theory for the Analysis and Synthesis of Systems Exhibiting Concurrency","author":"T.K.M. Agerwala","year":"1975","unstructured":"Agerwala, T.K.M.: Towards a Theory for the Analysis and Synthesis of Systems Exhibiting Concurrency, The Johns Hopkins Univ., Baltimore, Maryland (1975)"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(76)90067-0","volume":"3","author":"I. Araki","year":"1977","unstructured":"Araki, I. and Kasami, T.: Some Decision Problems related to the Reachability Problem for Petri Nets, Theor.Computer Sci. 3 (1977) 85\u2013104","journal-title":"Theor.Computer Sci."},{"key":"11_CR3","unstructured":"Arnold,A. and Latteux, M.: Vector Addition Systems and Semi-Dyck-Languages, Lab. de Calcul, Univ. Lille, Publ. No. 78, (1976)."},{"key":"11_CR4","series-title":"Lecture Notes in Computer Sci.","volume-title":"Net Theory and Applications","year":"1979","unstructured":"Brauer, W. (ed): Net Theory and Applications, Lecture Notes in Computer Sci., No 84, Springer, Berlin (1979)."},{"key":"11_CR5","unstructured":"Burkhard,: Ordered Firing in Petri Nets, to appear in EIK."},{"key":"11_CR6","unstructured":"Claus,V.: The (n,k)-Bounded Emptiness-Problem for Probabilistic Acceptors and related Problems, to appear in Acta Informatica."},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"10,667","DOI":"10.1145\/362759.362813","volume":"14","author":"P.J. Courtois","year":"1971","unstructured":"Courtois, P.J., Heymans, F. and Parnas, D.L.: Concurrent Control with Readers and Writers, Comm. ACM 14(1971)10,667\u2013668.","journal-title":"Comm. ACM"},{"key":"11_CR8","volume-title":"AFMG \u2014 Ein asynchroner Flu\u00df-Modell-Generator","author":"H.E. Fuss","year":"1975","unstructured":"Fuss, H.E.: AFMG \u2014 Ein asynchroner Flu\u00df-Modell-Generator, GMD, Bonn, Bericht Nr. 100, Bonn (1975)."},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"Genrich, H.J. and Lautenbach, K.: System Modelling with High-Level Petri Nets, Theor.Computer Sci. 13 (1981) 109\u2013136","journal-title":"Theor.Computer Sci."},{"key":"11_CR10","series-title":"Lecture Notes in Computer Sci.","volume-title":"Net Theory and Applications","author":"H.J. Genrich","year":"1979","unstructured":"Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S.: Elements of General Net Theory, in [4]"},{"key":"11_CR11","unstructured":"Hack,M.: Petri Net Languages, MIT Lab.for Computer Sci., TR 159, (1976)."},{"key":"11_CR12","unstructured":"Heinemann,B.: Teilklassen der selbst-modifizierenden Netze, Fachb. Informatik, Univ. Hamburg, Bericht FBI-HH-B-69\/80 (1980), see also: Subclasses of Self-modifying Nets, Proc. European Workshop on Application and Theory Of Petri Nets Strasbourg, (1980)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Sci.","volume-title":"Net Theory and Applications","author":"M. Jantzen","year":"1979","unstructured":"Jantzen, M. and Valk, R.: Formal Properties of Place\/transition Nets, in [4]"},{"key":"11_CR14","unstructured":"Jensen,K.: Extended and Hyper Petri Nets, Computer Sci. Dep., Aarhus Univ., DAIMI TR-5 (1978)."},{"key":"11_CR15","unstructured":"Jensen,K.: Coloured Petri Nets and the Invariant Method, Aarhus Univ., DAIMI PB-104 (1979)."},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Jensen,K.: How to find Invariants for Coloured Petri Nets, Computer Sci. Dep. Aarhus Univ., DAIMI PB-120 (1980) (see also these proceedings)","DOI":"10.1007\/3-540-10856-4_100"},{"key":"11_CR17","unstructured":"Keramidis,S. and Grote, W., Beitr\u00e4ge zur L\u00f6sung des Verklemmungsproblems in priorit\u00e4tsfreien Betriebsmittelmaschinen und Petri-Netzen, Arbeitsber. Inst. f\u00fcr Math. Masch. und Datenverarbeitung, Univ. Erlangen, Band 12, Nr. 9. (1979)"},{"key":"11_CR18","unstructured":"Lautenbach, K.: Exakte Bedingungen der Lebendigkeit f\u00fcr eine Klasse von Petri-Netzen, GMD-Bonn, Bericht Nr. 82 (1973)"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Sci.","volume-title":"Net Theory and Applications","author":"J.D. Noe","year":"1979","unstructured":"Noe, J.D.: Nets in Modelling and Simulation, in [4]"},{"key":"11_CR20","series-title":"Lec. Notes in Computer Sci.","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/3-540-08138-0_26","volume-title":"Eigenschaften f\u00e4rbbarer Petri-Netze, Theor.Computer Sci.","author":"R. Prinoth","year":"1977","unstructured":"Prinoth, R.: Eigenschaften f\u00e4rbbarer Petri-Netze, Theor.Computer Sci., Lec. Notes in Computer Sci., No 48, Springer, Berlin, (1977) 306\u2013318"},{"key":"11_CR21","unstructured":"Roucairol,G.: Contribution \u00e0 l'\u00e9tude des \u00e9quivalences syntaxiques et transformation de programmes parall\u00e8lles, Th\u00e8se d'Etat, Univ. Paris VI, (1978)."},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Schiffers,M. and Wedde,H.: Analyzing Program Solutions of Coordination Problems by CP-Nets, MFCS 1978, Lec.Notes in Computer Sci.No 64,Berlin (1978),462\u2013473.","DOI":"10.1007\/3-540-08921-7_94"},{"key":"11_CR23","volume-title":"Le Controle des Syst\u00e8me asynchronique: Concepts, Propriet\u00e9s, Analyse s statique","author":"J. Sifakis","year":"1979","unstructured":"Sifakis, J.: Le Controle des Syst\u00e8me asynchronique: Concepts, Propriet\u00e9s, Analyse s statique, Th\u00e8se, Univ. Sci. et M\u00e9dicale, Grenoble (1979)."},{"key":"11_CR24","unstructured":"Valk,R.: Self-modifying Nets, Inst. f. Informatik, Univ. Hamburg, Bericht IFI-HH-B-34\/77, (1977)."},{"key":"11_CR25","series-title":"Lect.Not.in Computer Sci.","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume-title":"Self-modifying Nets, a Natural Extension of Petri Nets","author":"R. Valk","year":"1978","unstructured":"Valk, R.: Self-modifying Nets, a Natural Extension of Petri Nets, ICALP 1978, Lect.Not.in Computer Sci.,No 62, Springer, Berlin (1978) 464\u2013476"},{"key":"11_CR26","series-title":"Lect.Not. in Computer Sci","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/3-540-08921-7_101","volume-title":"On the Computational Power of Extended Petri Nets","author":"R. Valk","year":"1978","unstructured":"Valk, R.: On the Computational Power of Extended Petri Nets, MFCS 1978, Lect.Not. in Computer Sci, No 64, Springer, Berlin (1978), 526\u2013535."},{"key":"11_CR27","unstructured":"Zervos,C.R. and Irani,K.B.: Colored Petri Nets: Their Properties and Applications, Univ. of Michigan, RADC-TR-77-246 (1977)."},{"key":"11_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-84164-3","volume-title":"Petri-Netze aus der Sicht des Ingenieurs","author":"K. Zuse","year":"1980","unstructured":"Zuse, K.: Petri-Netze aus der Sicht des Ingenieurs, Vieweg, Braunschweig (1980)."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:04:04Z","timestamp":1605625444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}