{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:22Z","timestamp":1761611182288,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643036"},{"type":"electronic","value":"9783540697237"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053593","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:46:16Z","timestamp":1149659176000},"page":"221-238","source":"Crossref","is-referenced-by-count":16,"title":["Rule-based refinement of high-level nets preserving safety properties"],"prefix":"10.1007","author":[{"given":"J.","family":"Padberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Gajewsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Ermel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"E. Best, R. Devillers, and J. Hall. The Box Calculus: a new causal algebra with multi-label communication. In Advances in Petri Nets, pages 21\u201369. Lecture Notes in Computer Science, 1992. 609.","DOI":"10.1007\/3-540-55610-9_167"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"W. Brauer, R. Gold, and W. Vogler. A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. Advances in Petri Nets, LNCS 483, 1990.","DOI":"10.1007\/3-540-53863-1_19"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"J. Bradfield and C. Stirling. Verifying temporal properties of processes. In J. C. M. Baeten et al., editors, LNCS; CONCUR'90, Theories of Concurrency: Unification and Extension. (Conference, 1990, Amsterdam, The Netherlands), pages 115\u2013125, Springer, Berlin, 1990.","DOI":"10.1007\/BFb0039055"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"F. Cornelius, H. Hu\\mann, and M. L\u00f6we. The Korso Case Study for Software Engineering with Formal Methods: A Medical Information System. In M. Broy and S. J\u00c4hnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, pages 417\u2013445. Springer LNCS 1009, 1995. Also appeared as technical report 94-5, TU Berlin.","DOI":"10.1007\/BFb0015474"},{"key":"15_CR5","first-page":"180","volume-title":"LNCS; Proceedings of the REX Workshop on Stepwise Refinement, 1989, Mook, The Netherlands","author":"W. Damm","year":"1990","unstructured":"W. Damm, G. D\u00f6hmen, V. Gerstner, and B. Josko. Modular verification of petri nets: The temporal logic approach. In J. W. de Bakker et al., editors, LNCS; Proceedings of the REX Workshop on Stepwise Refinement, 1989, Mook, The Netherlands, pages 180\u2013207, Springer, Berlin, 1990."},{"key":"15_CR6","volume-title":"Advances of Petri Nets","author":"C. Dimitrovici","year":"1991","unstructured":"C. Dimitrovici, U. Hummert, and L. Petrucci. Composition and net proper-ties of algebraic high-level nets. In Advances of Petri Nets. Springer Verlag Berlin LNCS 524, 1991."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"J. Desel and A. Meceron. Vincinity Respecting Net Morphisms. In Ad-vances in Petri Nets, pages 165\u2013185. Springer Verlag LNCS 483, 1990.","DOI":"10.1007\/3-540-53863-1_25"},{"key":"15_CR8","unstructured":"C. Ermel and M. Gajewsky. Expanding the Use Of Structuring: Formal Justification for Working on Subnets. In Proceedings of Workshop Petri Nets in System Engineering '97, pages 44-54, University Hamburg, 1997. FBI-HH-B-205\/97."},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001353","volume":"1","author":"H. Ehrig","year":"1991","unstructured":"H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science, 1:361\u2013404, 1991.","journal-title":"Math. Struct. in Comp. Science"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"H. Ehrig. Introduction to the algebraic theory of graph grammars. In V. Claus, H. Ehrig, and G. Rozenberg, editors, 1st Graph Grammar Workshop, LNCS 73, pages 1\u201369. Springer Verlag, 1979.","DOI":"10.1007\/BFb0025714"},{"key":"15_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specification 1: Equa-tions and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equa-tions and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985."},{"key":"15_CR12","unstructured":"H. Ehrig and J. Padberg. Introduction to Universal Parametrized Net Classes. In H. Weber, H. Ehrig, and W. Reisig, editors, MoveOn-Proc. der DFG-Forschergruppe \u201cPetrinetz-Technologie\u201d, Technical Report 97-21, TU Berlin, 1997."},{"key":"15_CR13","unstructured":"C. Ermel, J. Padberg, and H. Ehrig. Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets. In D. Cooke, B.J. Kr\u00c4mer, P. C-Y. Sheu, J.P. Tsai, and R. Mittermeir, editors, Proc. Integrated Design and Process Technology, pages 186\u2013193. Society for Design and Process Science, 1996. Vol.1."},{"key":"15_CR14","unstructured":"C. Ermel. Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen. Techn. Report 96-15, TU Berlin, 1996."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"H.J. Genrich. Predicate\/Transition Nets. In High-Level Petri Nets: Theory and Application, pages 3\u201343. Springer, 1991.","DOI":"10.1007\/978-3-642-84524-6_1"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeck and U. Golz. Equivalences and Refinement. In Semantics of Systems of Concurrent Processes, pages 309\u2013333. Springer, 1990. Lecture Notes in Computer Science 469.","DOI":"10.1007\/3-540-53479-2_13"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109\u2013136, 1981.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0304-3975(91)90228-T","volume":"82","author":"R. R. Howell","year":"1991","unstructured":"R. R. Howell, L. E. Rosier, and Chun Yen Hsu. A taxonomy of fairness and temporal logic problems for petri nets. Theoretical Computer Science, 82(2):341\u2013372, 1991.","journal-title":"Theoretical Computer Science"},{"key":"15_CR19","unstructured":"U. Hummert. Algebraische High-Level Netze. PhD thesis, Technische Uni-versit\u00c4t Berlin, 1989."},{"key":"15_CR20","volume-title":"Design\/CPN. A Ref-erence Manual","author":"K. Jensen","year":"1991","unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla. Design\/CPN. A Ref-erence Manual. Meta Software Cooperation, 125 Cambridge Park Drive, Cambridge Ma 02140, USA, 1991."},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"15_CR22","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 2. Springer, 1995."},{"key":"15_CR23","unstructured":"J. Lilius. On the Structure of High-Level Nets. PhD thesis, Helsinki University of Technology, 1994."},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"issue":"8","key":"15_CR25","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/0306-4379(94)90034-5","volume":"19","author":"A. Oberweis","year":"1994","unstructured":"A. Oberweis, G. Scherrer, and W. Stucky. INCOME\/STAR: Methodology and Tools for the Development of Distributed Information Systems. Information Systems, 19(8):643\u2013660, 1994.","journal-title":"Information Systems"},{"key":"15_CR26","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Re-finement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag."},{"key":"15_CR27","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transforma-tion systems. Math. Struct. in Computer Science, 5:217\u2013256, 1995.","journal-title":"Math. Struct. in Computer Science"},{"key":"15_CR28","unstructured":"S. Peuker. Invariant property preserving extensions of elementary petri nets. Technical Report No.97\u201321, TU Berlin, 1997."},{"key":"15_CR29","unstructured":"J. Padberg, M. Gajewsky, and C. Ermel. Refinement versus Verification: Compatibility of Net-Invariants and Stepwise Development of High-Level Petri Nets. Technical Report 97-22, TU Berlin, 1997. to appear."},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"15_CR31","unstructured":"K. Schmidt. Symbolische Analysemethoden f\u00fcr algebraische Petri-Netze, volume 4. Bertz Verlag, versal edition, 1996."},{"key":"15_CR32","unstructured":"J. Svensson and M. Meier. Handbuch LEU Support-Guide. Vebacom Service GmbH. Also, http:\/\/www.lion.de\/PRODUKT\/produkt.html."},{"key":"15_CR33","doi-asserted-by":"crossref","unstructured":"Vautherin, J. Parallel System Specification with Coloured Petri Nets. In Rozenberg, G., editor, Advances in Petri Nets 87, pages 293\u2013308. LNCS 266, Springer, 1987.","DOI":"10.1007\/3-540-18086-9_31"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:13:31Z","timestamp":1736406811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053593"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643036","9783540697237"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/bfb0053593","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}