{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:52:06Z","timestamp":1725558726653},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202998"},{"type":"electronic","value":"9783540396482"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39648-2_34","type":"book-chapter","created":{"date-parts":[[2010,6,26]],"date-time":"2010-06-26T06:03:31Z","timestamp":1277532211000},"page":"433-445","source":"Crossref","is-referenced-by-count":6,"title":["Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms"],"prefix":"10.1007","author":[{"given":"Boleslaw","family":"Mikolajczak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuyan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/3-540-48523-6_16","volume-title":"Automata, Languages and Programming","author":"M.A. Bednarczyk","year":"1999","unstructured":"Bednarczyk, M.A., Borzyszkowski, A.M.: General Morphisms of Petri nets. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol.\u00a01644, p. 190. Springer, Heidelberg (1999)"},{"key":"34_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/3-540-53863-1_25","volume-title":"Advances in Petri Nets 1990","author":"J. Desel","year":"1991","unstructured":"Desel, J., Merceron, A.: Vicinity Rrespecting Net Morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 165\u2013185. Springer, Heidelberg (1991)"},{"key":"34_CR3","unstructured":"Desel, J., Merceron, A.: Vicinity Rrespecting Homomorphisms for Abstracting System Requirements, Bericht 337., Karlsruhe (1996)"},{"key":"34_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BFb0058038","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"R. Devillers","year":"1997","unstructured":"Devillers, R., Klaudel, H., Riemann, R.C.: General Refinement for High Level Petri Nets. In: Ramesh, S., Sivakumar, G. (eds.) FST TCS 1997. LNCS, vol.\u00a01346, pp. 297\u2013311. Springer, Heidelberg (1997)"},{"key":"34_CR5","unstructured":"Fehling, R.: A Concept of Hierarchical Petri nets with Building Blocks. In: The 12th International Conference on Application and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 370\u2013389 (1991)"},{"key":"34_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05324-9","volume-title":"Petri Nets for Systems Engineering: a Guide to Modeling, Verification, and Applications","author":"C. Girault","year":"2003","unstructured":"Girault, C., Valk, R.: Petri Nets for Systems Engineering: a Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/3-540-44988-4_19","volume-title":"Application and Theory of Petri Nets 2000","author":"C. Lakos","year":"2000","unstructured":"Lakos, C.: Composing Abstraction of Colored Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 323\u2013345. Springer, Heidelberg (2000)"},{"key":"34_CR8","series-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science","volume-title":"Parallel Processing of Discrete Optimization Problems","author":"B. Mikolajczak","year":"1994","unstructured":"Mikolajczak, B.: A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. In: Parallel Processing of Discrete Optimization Problems. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a022, American Mathematical Society, Providence (1994)"},{"key":"34_CR9","unstructured":"http:\/\/www.nist.gov\/dads"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Petri, C.A.: Introduction to General Net Theory Net and Applications. In: Brauer, W. (ed.). LNCS, pp. 1\u201319. Springer, Heidelberg (1980)","DOI":"10.1007\/3-540-10001-6_21"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BFb0053593","volume-title":"Fundamental Approaches to Software Engineering","author":"J. Padberg","year":"1998","unstructured":"Padberg, J., Gajewsky, M., Ermel, C.: Rule-based Refinement of High-level Nets Preserving Safety Properties. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 221\u2013238. Springer, Heidelberg (1998)"},{"key":"34_CR12","unstructured":"http:\/\/www.renew.de"},{"key":"34_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets, An Iintroduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets, An Iintroduction. Springer, Heidelberg (1985)"},{"key":"34_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03687-7","volume-title":"Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets","author":"W. Reisig","year":"1998","unstructured":"Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)"},{"key":"34_CR15","unstructured":"Wang, Z.: Morphisms of Petri Nets and their Role in Formal Modeling of Concurrent Systems, Master Project, UMASS Dartmouth (May 2002)"},{"key":"34_CR16","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Petri Nets, Algebras, Morphisms and Compositionality. Information and Computation\u00a072, 197\u2013238 (1987)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39648-2_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:13:23Z","timestamp":1559207603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39648-2_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202998","9783540396482"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39648-2_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}