{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:15:42Z","timestamp":1725570942840},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642182211"},{"type":"electronic","value":"9783642182228"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-18222-8_1","type":"book-chapter","created":{"date-parts":[[2010,12,9]],"date-time":"2010-12-09T10:12:06Z","timestamp":1291889526000},"page":"1-20","source":"Crossref","is-referenced-by-count":2,"title":["Vicinity Respecting Homomorphisms for Abstracting System Requirements"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agathe","family":"Merceron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Model-Based Software Engineering","author":"G. Bruno","year":"1995","unstructured":"Bruno, G.: Model-Based Software Engineering. Chapman and Hall, Boca Raton (1995)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Deiters, W., Gruhn, V.: The FUNSOFT net approach to software process management. International Journal on Software Engineering and Knowledge Engineering\u00a04(2) (1994)","DOI":"10.1142\/S021819409400012X"},{"key":"1_CR3","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science, vol.\u00a040. Cambridge University Press, Cambridge (1995)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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 respecting net morphisms. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol.\u00a0483, pp. 165\u2013185. Springer, Heidelberg (1991)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/BFb0019970","volume-title":"Advances in Petri Nets 1991","author":"J. Desel","year":"1991","unstructured":"Desel, J.: On abstractions of nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol.\u00a0524, pp. 78\u201392. Springer, Heidelberg (1991)"},{"key":"1_CR6","unstructured":"Desel, J., Merceron, A.: Vicinity respecting homomorphisms for abstracting system requirements. Bericht No. 337 of Institut AIFB, Universit\u00e4t Karlsruhe (1996)"},{"key":"1_CR7","unstructured":"Desel, J., Petrucci, L.: Aggregating views for Petri net model construction. In: Petri Nets and Distributed Systems (PNDS 2008), Workshop at the 29th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency, Xi\u2019an, China (2008)"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.entcs.2005.12.016","volume":"148","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Hoffmann, K., Padberg, J.: Transformations of Petri nets. Electr. Notes Theor. Comput. Sci.\u00a0148(1), 151\u2013172 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"#cr-split#-1_CR9.1","unstructured":"Fern??ndez, C.: Net Topology I. Interner Bericht der GMD ISF-75-9 GMD St. Augustin, Germany (1975);"},{"key":"#cr-split#-1_CR9.2","unstructured":"Net Topology II. Interner Bericht der GMD ISF-76-2, GMD St. Augustin, Germany (1976)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-10001-6_22","volume-title":"Net Theory and Applications","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J., Lautenbach, K., Thiagarajan, P.S.: Elements of general net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol.\u00a084, pp. 21\u2013163. Springer, Heidelberg (1980)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume-title":"Net Theory and Applications","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J., Stankiewicz-Wiechno, E.: A dictionary of some basic notions of net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol.\u00a084, pp. 519\u2013535. Springer, Heidelberg (1980)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-52559-9_68","volume-title":"Stepwise Refinement of Distributed Systems","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R., Goltz, U.: Refinements of actions in causality based models. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1989. LNCS, vol.\u00a0430, pp. 267\u2013300. Springer, Heidelberg (1990)"},{"key":"1_CR13","volume-title":"Information Systems Engineering - a Formal Approach","author":"K.M. Hee van","year":"1994","unstructured":"van Hee, K.M.: Information Systems Engineering - a Formal Approach. Cambridge University Press, Cambridge (1994)"},{"key":"1_CR14","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 abstractions of coloured Petri nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 323\u2013345. Springer, Heidelberg (2000)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Luckham, D.C., Kenney, J.J., et al.: Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, Special Issue on Software Architecture\u00a021(4) (April 1995)","DOI":"10.1109\/32.385971"},{"key":"1_CR16","series-title":"Computer Science \u2013 Research and Applications","first-page":"439","volume-title":"Morphisms to preserve structural properties of Petri nets","author":"A. Merceron","year":"1994","unstructured":"Merceron, A.: Morphisms to preserve structural properties of Petri nets. Computer Science \u2013 Research and Applications, pp. 439\u2013454. Plenum Press, New York (1994)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. In: Information and Computation, vol.\u00a088, pp. 105\u2013155 (1990)","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/978-3-540-39648-2_34","volume-title":"Conceptual Modeling - ER 2003","author":"B. Mikolajczak","year":"2003","unstructured":"Mikolajczak, B., Wang, Z.: Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 433\u2013445. Springer, Heidelberg (2003)"},{"key":"1_CR19","first-page":"535","volume-title":"Intelligent Information Systems, Advances in Soft Computing","author":"B. Mikolajczak","year":"2003","unstructured":"Mikolajczak, B.: Conceptual modeling of concurrent information systems with general morphisms of Petri nets. In: Intelligent Information Systems, Advances in Soft Computing, pp. 535\u2013539. Springer, Heidelberg (2003)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Ore, O.: Theory of Graphs, vol.\u00a0XXXVIII. American Mathematical Society, Colloquium Publications (1962)","DOI":"10.1090\/coll\/038"},{"key":"1_CR21","unstructured":"Petri, C.A.: Concepts of net theory. In: Proceedings of Symposium and Summer School on Mathematical Foundations of Computer Science, High Tatras, September 3-8, 1973"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-10001-6_21","volume-title":"Net Theory and Applications","author":"C.A. Petri","year":"1980","unstructured":"Petri, C.A.: Introduction to General Net Theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol.\u00a084, pp. 1\u201320. Springer, Heidelberg (1980)"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","first-page":"63","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"W. Reisig","year":"1987","unstructured":"Reisig, W.: Petri nets in software engineering. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 63\u201396. Springer, Heidelberg (1987)"},{"key":"1_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-75329-9","volume-title":"A Primer in Petri Net Design","author":"W. Reisig","year":"1992","unstructured":"Reisig, W.: A Primer in Petri Net Design. Springer, Heidelberg (1992)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-02424-5_4","volume-title":"Applications and Theory of Petri Nets","author":"W. Reisig","year":"2009","unstructured":"Reisig, W.: Simple composition of nets. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol.\u00a05606, pp. 23\u201342. Springer, Heidelberg (2009)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Winskel, G.: Petri nets, algebras, morphisms and compositionality. In: Information and Computation, vol.\u00a072, pp. 197\u2013238 (1987)","DOI":"10.1016\/0890-5401(87)90032-0"}],"container-title":["Lecture Notes in Computer Science","Transactions on Petri Nets and Other Models of Concurrency IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18222-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T19:04:36Z","timestamp":1559847876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18222-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642182211","9783642182228"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18222-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}