{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:33:33Z","timestamp":1725456813769},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633860"},{"type":"electronic","value":"9783540695295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0036176","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T02:47:22Z","timestamp":1134269242000},"page":"117-128","source":"Crossref","is-referenced-by-count":1,"title":["Stratified petri nets"],"prefix":"10.1007","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"9_CR1","first-page":"647","volume":"915","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., Bernardinello, L. and Darondeau, Ph., Polynomial algorithms for the synthesis of bounded nets, Proceedings Caap 95, Lecture Notes in Computer Science 915 (1995) 647\u2013679.","journal-title":"Proceedings Caap 95, Lecture Notes in Computer Science"},{"key":"9_CR2","unstructured":"Badouel, E., and Darondeau, Ph., On the synthesis of General Petri Nets, Inria Research Report 3025 (1996)."},{"key":"9_CR3","volume-title":"Graphes et hypergraphes","author":"C. Berge","year":"1970","unstructured":"Berge, C., Graphes et hypergraphes. Dunod, Paris (1970). English translation: Graphs and Hypergraphs, North Holland, Amsterdam (1973)."},{"key":"9_CR4","unstructured":"Ehrenfeucht, A., and Rozenberg, G., Partial 2-structures; Part I: Basic Notions and the Representation Problem, and Part II: State Spaces of Concurrent Systems, Acta Informatioa, vol 27 (1990)."},{"key":"9_CR5","volume-title":"Algebraic Theory of Automata","author":"A. Ginzburg","year":"1968","unstructured":"Ginzburg, A., Algebraic Theory of Automata. Academic Press, New-York (1968)."},{"key":"9_CR6","unstructured":"Harrison, M. A., Lectures on Linear Sequential Machines. Academic Press (1969)."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M., and Miller, R.E., Parallel program schemata. Journal of Computer and System Sciences vol. 3 (1969) 147\u2013195.","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1090\/S0002-9947-1965-0188316-1","volume":"116","author":"K. Krohn","year":"1965","unstructured":"Krohn, K., and Rhodes, J.L., Algebraic Theory of Machines, I: Principles of Finite Semigroups and Machines. Transaction of the American Mathematical Society 116 (1965) 450\u2013464.","journal-title":"Transaction of the American Mathematical Society"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Lefschetz, S., Applications of Algebraic Topology. Applied Mathematical Science 16, Spinger-Verlag (1975).","DOI":"10.1007\/978-1-4684-9367-2"},{"issue":"1","key":"9_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Miller","year":"1992","unstructured":"Miller, R., Parrow, J., and Walker, D., A calculus of mobile Processes, I\u2013II. Information and Computation, vol. 100, no 1, (1992) 1\u201340 and 41\u201377.","journal-title":"Information and Computation"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M. Mukund","year":"1992","unstructured":"Mukund, M., Petri Nets and Step Transition Systems. International Journal of Foundatations of Computer Science vol. 3, no 4 (1992) 443\u2013478.","journal-title":"International Journal of Foundatations of Computer Science"},{"key":"9_CR12","unstructured":"Schrijver, A., Theory of Linear and Integer Programming. John Wiley (1986)."},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume":"62","author":"R. Valk","year":"1978","unstructured":"Valk, R., Self-Modifying Nets, a Natural Extension of Petri Nets. Icalp'78, Lecture Notes in Computer Science vol. 62 (1978) 464\u2013476.","journal-title":"Icalp'78, Lecture Notes in Computer Science"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/3-540-10856-4_80","volume":"118","author":"R. Valk","year":"1981","unstructured":"Valk, R., Generalizations of Petri Nets. MFCS'81, Lecture Notes in Computer Science vol. 118 (1981) 140\u2013155. *** DIRECT SUPPORT *** A0008123 00004","journal-title":"MFCS'81, Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0036176","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T12:41:17Z","timestamp":1549456877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0036176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633860","9783540695295"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0036176","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}