{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T02:34:56Z","timestamp":1780626896854,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540653066","type":"print"},{"value":"9783540494423","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-65306-6_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:42:48Z","timestamp":1330299768000},"page":"529-586","source":"Crossref","is-referenced-by-count":162,"title":["Theory of regions"],"prefix":"10.1007","author":[{"given":"Eric","family":"Badouel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"10_CR1","unstructured":"Badouel, E., Splitting of Actions, Higher-Dimensional Automata and Net Synthesis. Inria Research Report No 3013 (1996)."},{"key":"10_CR2","doi-asserted-by":"crossref","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-679.","DOI":"10.1007\/3-540-59293-8_207"},{"key":"10_CR3","unstructured":"Badouel, E., Bernardinello, L.and Darondeau, Ph., The synthesis problem for elementary net systems is NP-complete, Inria Research Report 2558 (1995). To appear in Theoretical Computer Science."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Badouel, E., and Darondeau, Ph., Trace Nets. REX workshop, Beekbergen \u201cSemantics: Foundation and Applications\u201d, Springer-Verlag Lecture Notes in Computer Science, vol. 666 (1993) 21\u201350.","DOI":"10.1007\/3-540-56596-5_27"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1007\/BF01186645","volume":"32","author":"E. Adouel","year":"1995","unstructured":"Adouel E. and Darondeau, Ph.Trace nets and process automata, Acta Informatica 32 (1995) 647\u2013679.","journal-title":"Acta Informatica"},{"key":"10_CR6","unstructured":"Badouel, E., and Darondeau, Ph., Dualities between Nets and Automata induced by Schizophrenic Objects, 6th International Conference on Category Theory and Computer Science, Cambridge, Lecture Notes in Computer Science, vol. 953 (1995) 24\u201343."},{"key":"10_CR7","unstructured":"Badouel, E., and Darondeau, Ph., On the Synthesis of General Petri Nets. Inria Research Report No 3025 (1996)."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Badouel, E., and Darondeau, Ph., Stratified Petri Nets. Inria Research Report No 3128 (1997).","DOI":"10.1007\/BFb0036176"},{"key":"10_CR9","unstructured":"Bednarczyk, M. A., Categories of Asynchronous Systems. Ph. D. Thesis, University of Sussex (1988)."},{"key":"10_CR10","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":"10_CR11","doi-asserted-by":"crossref","unstructured":"Bernardinello, L., Synthesis of Net Systems. Application and Theory of Petri Nets, Lecture Notes in Computer Science 691 (1993) 89\u2013105.","DOI":"10.1007\/3-540-56863-8_42"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Bernardinello, L., De Michelis, G., Petruni, K., and Vigna, S., On the Synchronic Structure of Transitions Systems. In \u201cStructures in Concurrency Theory\u201d, J. Desel ed., Springer-Verlag (1996) 11\u201331.","DOI":"10.1007\/978-1-4471-3078-9_5"},{"key":"10_CR13","unstructured":"Caillaud, B., Synet: un outil de synth\u00e9se de r\u00e9seaux de Petri born\u00e9s, applications Irisa Research Report no 1101 (1997)."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Cortadella, J., Kishinevsky, M., Lavagno, L., and Yakovlev, A., Synthesizing Petri Nets from State-Based Models. Proceedings of ICCAD'95 (1995) 164\u2013171.","DOI":"10.1109\/ICCAD.1995.480008"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., and Yakovlev, A., Complete state encoding based on the theory of regions. Proceedings of the 2nd International Workshop on Advanced Research in Asynchronous Circuits and Systems (1996) 36\u201347.","DOI":"10.1109\/ASYNC.1996.494436"},{"key":"10_CR16","unstructured":"Chen, W.K., Applied Graph Theory. North-Holland (1971)."},{"key":"10_CR17","unstructured":"Christofides, N., Graph Theory \u2014 An Algorithmic Approach. Academic Press (1975)."},{"key":"10_CR18","unstructured":"Davey, B.A., and Priestley, H.A., Introduction to Lattices and Order. Cambridge University Press, (1990)."},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"Desel, J., and Reisig, W., The Synthesis Problem of Petri Nets. Acta Informatica vol. 33 (1996) 297\u2013315.","journal-title":"Acta Informatica"},{"key":"10_CR20","unstructured":"Droste, M., and Shortt, R.M., Petri Nets and Automata with Concurrency Relations \u2014 an Adjunction. in \u201cSemantics of Programming Languages and Model Theory\u201d, M. Droste and Y. Gurevich eds(1993) 69\u201387."},{"key":"10_CR21","unstructured":"Droste, M., and Shortt, R.M., Prom Petri Nets to Automata with Concurrency. Draft communicated to the authors."},{"key":"10_CR22","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 Informatica, vol 27 (1990)."},{"key":"10_CR23","unstructured":"Garey, M.R., and Johnson, D.S., Computer and Intractability. A guide to the theory of NP-Completeness. W.H. Freeman and Company (1979)."},{"key":"10_CR24","unstructured":"Gondran, M., and Minoux, M., Graphes et algorithmes. Eyrolles,Paris (1979). English translation by Steven Vajda: Graphs and Algorithms, John Wiley (1984)."},{"key":"10_CR25","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0304-3975(94)90112-0","volume":"135","author":"K. Hiraishi","year":"1994","unstructured":"Hiraishi, K., Some complexity results on transition systems and elementary net systems. Theoretical Computer Science 135 (1994) 361\u2013376.","journal-title":"Theoretical Computer Science"},{"key":"10_CR26","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/3-540-55719-9_107","volume":"623","author":"P.W. Hoogers","year":"1992","unstructured":"Hoogers, P.W., Kleijn, H.C.M., and Thiagarajan, P.S., A Trace Semantics for Petri Nets. Lecture Notes in Computer Science vol. 623 (1992) 595\u2013604.","journal-title":"Lecture Notes in Computer Science"},{"key":"10_CR27","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0304-3975(95)00120-4","volume":"153","author":"P.W. Hoogers","year":"1996","unstructured":"Hoogers, P.W., Kleijn, H.C.M., and Thiagarajan, P.S., An Event Structure Semantics for General Petri Nets. Theoretical Computer Science, volume 153 (1996) 129\u2013170.","journal-title":"Theoretical Computer Science"},{"key":"10_CR28","unstructured":"Johnstone, P.T., Stone Spaces. Cambridge University Press, (1982)."},{"key":"10_CR29","unstructured":"Kishinevsky, M., Cortadella, J., Kondratyev, A., Lavagno, L., Taubin, A., and Yakovlev, A., Place Chart Nets and their Synthesis. Technical Report 96-2-003 2-003 Department of Computer Hardware, University of Aizu (1996)."},{"key":"10_CR30","unstructured":"Kishinevsky, M., Cortadella, J., Kondratyev, A., Lavagno, L., and Yakovlev, A., Synthesis of General Petri Nets. Technial Report 96-2-004, Department of Computer Hardware, University of Aizu (1996)."},{"key":"10_CR31","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"},{"key":"10_CR32","unstructured":"Liu, C.L., Introduction to Combinatorial Mathematics. Mac Graw Hill (1968)."},{"issue":"4","key":"10_CR33","doi-asserted-by":"crossref","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 Foundation of Computer Science, vol 3, no 4 (1992) 443\u2013478.","journal-title":"International Journal of Foundation of Computer Science"},{"key":"10_CR34","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"Nielsen, M., Rgzenberg, G., and Thiagarajan, P.S., Elementary Transition Systems. Theoretical Computer Science, vol. 96 (1992) 3\u201333.","journal-title":"Theoretical Computer Science"},{"key":"10_CR35","unstructured":"Nielsen, M., and Winskel, G., Models for Concurrency, Handbook of Logic for Computer Science, vol. 4, Oxford University Press (1995)."},{"key":"10_CR36","first-page":"111","volume-title":"Category Theory at Work","author":"H.-E. Porst","year":"1991","unstructured":"Porst, H.-E., and Tholen, W., Concrete Dualities. In \u201cCategory Theory at Work\u201d, H. Herrlich, and H.-E. Porst (eds.), Heldermann Verlag Berlin (1991) 111\u2013136."},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Pratt, V.R., The Stone Gamut: A Coordinatization of Mathematics, Proceedings of the 10th Symposium on Logics in Computer Science, IEEE Computer Society (1995) 444\u2013454.","DOI":"10.1109\/LICS.1995.523278"},{"key":"10_CR38","unstructured":"Schrijver, A., Theory of Linear and Integer Programming. John Wiley (1986)."},{"key":"10_CR39","doi-asserted-by":"crossref","unstructured":"Schmitt, V., Flip-Flop Nets, Proceedings of Stacs 96, Lecture Notes in Computer Science vol. 1046 (1996) 517\u2013528.","DOI":"10.1007\/3-540-60922-9_42"},{"key":"10_CR40","unstructured":"Tutte, W.T., Graph Theory. Encyclopedia of Mathematics and its Application vol. 21, Addison-Wesley (1984)."},{"key":"10_CR41","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1093\/comjnl\/28.5.449","volume":"28","author":"M.W. Shields","year":"1985","unstructured":"Shields, M.W., Concurrent machines, The Computer Journal, vol. 28 (1985) 449\u2013465.","journal-title":"The Computer Journal"},{"key":"10_CR42","doi-asserted-by":"crossref","unstructured":"Stark, E.W., Connections between a Concrete and an Abstract Model of Concurrent Systems. 5th Mathematical Foundation of Programming Semantics (1989) 53\u201379.","DOI":"10.1007\/BFb0040254"},{"key":"10_CR43","doi-asserted-by":"crossref","unstructured":"Valk, R., Self-Modifying Nets, a Natural Extension of Petri Nets. Proceedings of Icalp'78, Lecture Notes in Computer Science vol. 62 (1978) 464\u2013476.","DOI":"10.1007\/3-540-08860-1_35"},{"key":"10_CR44","doi-asserted-by":"crossref","unstructured":"Valk, R., Generalizations of Petri Nets. Proceedings of MFCS'81, Lecture Notes in Computer Science vol. 118 (1981) 140\u2013155.","DOI":"10.1007\/3-540-10856-4_80"}],"container-title":["Lecture Notes in Computer Science","Lectures on Petri Nets I: Basic Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-65306-6_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:20:55Z","timestamp":1605648055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-65306-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653066","9783540494423"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-65306-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}