{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T07:43:33Z","timestamp":1743061413586,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676935"},{"type":"electronic","value":"9783540449881"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44988-4_2","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T21:38:07Z","timestamp":1185917887000},"page":"16-23","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Region Based Synthesis of P\/T-Nets and Its Potential Applications"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/0041-5553(65)90045-5","volume":"5","author":"N.V. Chernikova","year":"1965","unstructured":"Chernikova, N.V.: Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities. U.S.S.R. Computational Math. and Math. Physics 5 no.2 (1965) 228\u2013233","journal-title":"U.S.S.R. Computational Math. and Math. Physics"},{"key":"2_CR2","unstructured":"Arnold, A., Nivat, M.: Comportements de processus. Les math\u00e9matiques de l\u2019informatique, colloque AFCET (1982) 35\u201368"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; part I: Basic Notions and the Representation Problem. Acta Informatica 27 (1990) 315\u2013342","journal-title":"Acta Informatica"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00264612","volume":"27","author":"A. Ehrenfeucht","year":"1990","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; part II: State Spaces of Concurrent Systems. Acta Informatica 27 (1990) 343\u2013368","journal-title":"Acta Informatica"},{"issue":"4","key":"2_CR5","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. Int. Journal of Found. of Comp. Science 3 no.4 (1992) 443\u2013478","journal-title":"Int. Journal of Found. of Comp. Science"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"1692","DOI":"10.1109\/9.173140","volume":"37","author":"K. Rudie","year":"1992","unstructured":"Rudie, K., Wonham, W.M.: Think Globally, Act Locally: Decentralized Supervisory Control. IEEE Trans. on Automatic Control 37 no.11 (1992) 1692\u20131707","journal-title":"IEEE Trans. on Automatic Control"},{"key":"2_CR7","unstructured":"Droste, M., Shortt, R.M.: Petri Nets and Automata with Concurrency Relations-an Adjunction. Semantics of Programming Languages and Model Theory, M. Droste and Y. Gurevich eds (1993) 69\u201387"},{"key":"2_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/3-540-59293-8_207","volume-title":"Proc. CAAP","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., Bernardinello, L., Darondeau, Ph.: Polynomial algorithms for the synthesis of bounded nets. Proc. CAAP, LNCS 915 (1995) 364\u2013378"},{"key":"2_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/3-540-60218-6_26","volume-title":"Proc. Concur","author":"P. Jancar","year":"1995","unstructured":"Jancar, P., Moeller, F.: Checking Regular Properties of Petri Nets, Proc. Concur, LNCS 962 (1995) 348\u2013362"},{"key":"2_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/3-540-60164-3_18","volume-title":"Proc. CTCS","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., Darondeau, Ph.: Dualities between nets and automata induced by schizophrenic objects. Proc. CTCS, LNCS 953 (1995) 24\u201343"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s002360050046","volume":"33","author":"J. Desel","year":"1996","unstructured":"Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets. Acta Informatica 33 (1996) 297\u2013315","journal-title":"Acta Informatica"},{"key":"2_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Theory of regions. Lectures on Petri Nets I: Basic Models","author":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, Ph.: Theory of regions. Lectures on Petri Nets I: Basic Models, LNCS 1491 (1998) 529\u2013586"},{"key":"2_CR13","unstructured":"Bernardinello, L.: Propri\u00e9t\u00e9s alg\u00e9briques et combinatoires des r\u00e9gions dans les graphes et leur application \u00e0 la synth\u00e8se de r\u00e9seaux. Th\u00e8se, Univ. Rennes (1998)"},{"key":"2_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/BFb0055646","volume-title":"Proc. Concur","author":"Ph. Darondeau","year":"1998","unstructured":"Darondeau, Ph.: Deriving Unbounded Petri Nets from Formal Languages. Proc. Concur, LNCS 1466 (1998) 533\u2013548"},{"key":"2_CR15","unstructured":"Badouel, E.: Automates r\u00e9versibles et r\u00e9seaux de Petri, dualit\u00e9 et repr\u00e9sentation: le probl\u00e8me de synth\u00e8se. Document d\u2019habilitation 31, Irisa (1999) available from http:\/\/www.irisa.fr\/EXTERNE\/bibli\/habilitations.html"},{"key":"2_CR16","unstructured":"Caillaud, B.: Bounded Petri-net Synthesis Techniques and their Applications to the Distribution of Reactive Automata. JESA 9\u201310 no.33 (to appear)"},{"key":"2_CR17","unstructured":"Darondeau, Ph.: On the Petri Net Realization of Context-Free Graphs. (to appear)"},{"key":"2_CR18","unstructured":"Synet: http:\/\/www.irisa.fr\/pampa\/LOGICIELS\/synet\/synet.html"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2000"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44988-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T01:02:49Z","timestamp":1635123769000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44988-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676935","9783540449881"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44988-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"9 June 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}