{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:03Z","timestamp":1725488163944},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672616"},{"type":"electronic","value":"9783540464280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46428-x_18","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T22:01:06Z","timestamp":1185919266000},"page":"249-265","source":"Crossref","is-referenced-by-count":7,"title":["Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems"],"prefix":"10.1007","author":[{"given":"J.","family":"Padberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Gajewsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,19]]},"reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008654224389","volume":"5","author":"W. Deiters","year":"1998","unstructured":"W. Deiters and V. Gruhn. Process Management in Practice-Applying the FunSoft Net Approach to Large-Scale Processes. Automated Software Engineering, 5:7\u201325, 1998.","journal-title":"Automated Software Engineering"},{"key":"18_CR2","first-page":"341","volume":"3","author":"H. Ehrig","year":"1999","unstructured":"H. Ehrig, M. Gajewsky, and F. Parisi-Presicce. High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets, volume 3: Concurrency, Parallelism, and Distribution, chapter 6, pages 341\u2013400. World Scientific, Handbook of Graph Grammars and Computing by Graph Transformations edition, 1999.","journal-title":"High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets"},{"key":"18_CR3","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. Struc. in Comp. Science, 1:361\u2013404, 1991.","journal-title":"Math. Struc. in Comp. Science"},{"key":"18_CR4","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Berlin, 1985."},{"key":"18_CR5","unstructured":"C. Ermel. Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen. Technical Report 96-15, TU Berlin, 1996."},{"key":"18_CR6","unstructured":"Maike Gajewsky, Julia Padberg, and Kathrin Hoffmann. Safety Introducing and Preserving Rules for Algebraic High-Level Net Systems. Technical report, Technical University Berlin, 2000. to appear."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, Universit\u00e4t Dortmund, Abteilung Informatik, 1991.","DOI":"10.1007\/3-540-54194-2_40"},{"key":"18_CR8","volume-title":"Design\/CPN. A Reference Manual","author":"K. Jensen","year":"1991","unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla. Design\/CPN. A Reference Manual. Meta Software Cooperation, 125 Cambridge Park Drive, Cambridge Ma 02140, USA, 1991."},{"key":"18_CR9","unstructured":"K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1992."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"K. Jensen and G. Rozenberg, editors. High-Level Petri-Nets: Theory and Application. 1991.","DOI":"10.1007\/978-3-642-84524-6"},{"issue":"2","key":"18_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105\u2013155, 1990.","journal-title":"Information and Computation"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, Specification. 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"issue":"8","key":"18_CR13","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":"18_CR14","unstructured":"J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag."},{"issue":"4","key":"18_CR15","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1023\/A:1008695316594","volume":"7","author":"J. Padberg","year":"1999","unstructured":"Julia Padberg. Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures, 7(4):371\u2013403, December 1999.","journal-title":"Applied Categorical Structures"},{"key":"18_CR16","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 transformation systems. Mathematical Structures in Computer Science, 5:217\u2013256, 1995.","journal-title":"Mathematical Structures in Computer Science"},{"key":"18_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BFb0053593","volume-title":"Fundamental approaches to Software Engineering","author":"J. Padberg","year":"1998","unstructured":"J. Padberg, M. Gajewsky, and C. Ermel. Rule-Based Refinement of High-Level Nets Preserving Safety Properties. In E. Astesiano, editor, Fundamental approaches to Software Engineering, pages 221\u2013238, 1998. Lecture Notes in Computer Science 1382."},{"key":"18_CR18","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. 1985."},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"J. Vautherin. Parallel System Specification with Coloured Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 87, pages 293\u2013308, 1987. 266.","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\/3-540-46428-X_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:29:21Z","timestamp":1556713761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46428-X_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672616","9783540464280"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-46428-x_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}