{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T14:41:21Z","timestamp":1761921681429,"version":"build-2065373602"},"reference-count":40,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4460,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s0167-6423(00)00022-8","type":"journal-article","created":{"date-parts":[[2002,10,31]],"date-time":"2002-10-31T21:12:04Z","timestamp":1036098724000},"page":"97-118","source":"Crossref","is-referenced-by-count":12,"title":["Rule-based refinement of high-level nets preserving safety properties"],"prefix":"10.1016","volume":"40","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":"78","reference":[{"key":"10.1016\/S0167-6423(00)00022-8_BIB1","first-page":"21","article-title":"The Box Calculus","volume":"vol. 609","author":"Best","year":"1992"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB2","series-title":"Proc. CONCUR\u201990, Theories of Concurrency: Unification and Extension","first-page":"115","article-title":"Verifying temporal properties of processes","author":"Bradfield","year":"1990"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB3","doi-asserted-by":"crossref","unstructured":"W. Brauer, R. Gold, W. Vogler, A survey of behaviour and equivalence preserving refinements of Petri nets, in: G. Rozenberg (Ed.), Advances in Petri Nets, Lecture Notes in Computer Science, vol. 483, Springer, Berlin, 1990.","DOI":"10.1007\/3-540-53863-1_19"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB4","doi-asserted-by":"crossref","unstructured":"F. Cornelius, H. Hu\u00dfmann, M. L\u00f6we, The KORSO case study for software engineering with formal methods: a medical information system, in: M. Broy, S. J\u00e4hnichen (Eds.), KORSO: Methods, Languages and Tools for the Construction of Correct Software, Lecture Notes in Computer Science, vol. 1009, Springer, Berlin, 1995, pp. 417\u2013445. Also appeared as Technical Report 94-5, TU Berlin.","DOI":"10.1007\/BFb0015474"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB5","series-title":"Proc. REX Workshop on Stepwise Refinement, 1989, Mook, The Netherlands, Lecture Notes in Computer Science","first-page":"180","article-title":"Modular verification of Petri nets: the temporal logic approach","author":"Damm","year":"1990"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB6","first-page":"165","article-title":"Vincinity respecting net morphisms","volume":"vol. 483","author":"Desel","year":"1990"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB7","doi-asserted-by":"crossref","unstructured":"C. Dimitrovici, U. Hummert, L. Petrucci, Composition and net properties of algebraic high-level nets, in: G. Rozenberg (Ed.), Advances of Petri Nets, Lecture Notes in Computer Science, vol. 524, Springer, Berlin, 1991.","DOI":"10.1007\/BFb0019971"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB8","first-page":"1","article-title":"Introduction to the algebraic theory of graph grammars","volume":"vol. 73","author":"Ehrig","year":"1979"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB9","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129500001353","article-title":"Parallelism and concurrency in high-level replacement systems","volume":"1","author":"Ehrig","year":"1991","journal-title":"Math. Struct. Comput. Sci."},{"volume":"vol. 6","year":"1985","author":"Ehrig","key":"10.1016\/S0167-6423(00)00022-8_BIB10"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB11","unstructured":"H. Ehrig, J. Padberg, Introduction to universal parametrized net classes. in: H. Weber, H. Ehrig, W. Reisig (Eds.), MoveOn-Proc. der DFG-Forschergruppe \u201cPetrinetz-Technologie\u201d, Tech. Report 97-21, FB Informatik, TU Berlin, 1997."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB12","unstructured":"C. Ermel, Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen, Tech. Report 96-15, FB Informatik, TU Berlin, 1996."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB13","unstructured":"C. Ermel, M. Gajewsky, Expanding the use of structuring: formal justification for working on subnets, Proc. Workshop on Petri Nets in System Engineering \u201997, Report FBI-HH-B-205\/97, Universit\u00e4t Hamburg, 1997, pp. 44\u201354."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB14","unstructured":"C. Ermel, J. Padberg, H. Ehrig, Requirements engineering of a medical information system using rule-based refinement of Petri nets, in: D. Cooke, B.J. Kr\u00e4mer, P.C.-Y. Sheu, J.P. Tsai, R. Mittermeir (Eds.), Proc. Integrated Design and Process Technology, vol. 1, Society for Design and Process Science, 1996, pp. 186\u2013193."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB15","unstructured":"M. Gajewsky, K. Hoffmann, J. Padberg, Place preserving and transition gluing morphisms in rule-based refinement of place\/transition systems, Tech. Report 99-14, FB Informatik, TU Berlin, 1999."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB16","unstructured":"M. Gajewsky, J. Padberg, K. Hoffmann, Safety Introducing and preserving rules for algebraic high-level net systems, Tech. Report, FB Informatik, TU Berlin, 2000."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB17","series-title":"High-Level Petri Nets","first-page":"3","article-title":"Predicate\/transition nets","author":"Genrich","year":"1991"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB18","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","article-title":"System modelling with high-level Petri nets","volume":"13","author":"Genrich","year":"1981","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB19","first-page":"309","article-title":"Equivalences and refinement","volume":"vol. 469","author":"van Glabbeck","year":"1990"},{"issue":"2","key":"10.1016\/S0167-6423(00)00022-8_BIB20","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1016\/0304-3975(91)90228-T","article-title":"A taxonomy of fairness and temporal logic problems for Petri nets","volume":"82","author":"Howell","year":"1991","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB21","unstructured":"U. Hummert, Algebraische high-level netze, Ph.D. Thesis, FB Informatik, Technische Universit\u00e4t Berlin, 1989."},{"volume":"vol. 1","year":"1992","author":"Jensen","key":"10.1016\/S0167-6423(00)00022-8_BIB22"},{"volume":"vol. 2","year":"1995","author":"Jensen","key":"10.1016\/S0167-6423(00)00022-8_BIB23"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB24","unstructured":"K. Jensen, S. Christensen, P. Huber, M. Holla, Design\/CPN. A Reference Manual, Meta Software Cooperation, 125 Cambridge Park Drive, Cambridge MA 02140, USA, 1991."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB25","unstructured":"J. Lilius, On the structure of high-level nets, Ph.D. Thesis, Helsinki University of Technology, 1994."},{"year":"1992","series-title":"The Temporal Logic of Reactive and Concurrent Systems, Specification","author":"Manna","key":"10.1016\/S0167-6423(00)00022-8_BIB26"},{"issue":"8","key":"10.1016\/S0167-6423(00)00022-8_BIB27","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1016\/0306-4379(94)90034-5","article-title":"INCOME\/STAR","volume":"19","author":"Oberweis","year":"1994","journal-title":"Inform. Systems"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB28","unstructured":"J. Padberg, Abstract Petri nets: a uniform approach and rule-based refinement, Ph.D. Thesis, FB Informatik, Technische Universit\u00e4t Berlin, 1996, Shaker, 1996."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB29","unstructured":"J. Padberg, Safety-preserving transformations of abstract Petri nets, in: J. Padberg, H. Ehrig, G. Juh\u00e0s, G. Rozenberg (Eds.), Unifying Petri Nets, Advances in Petri Nets, Springer, Berlin, 2001, to appear."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB30","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1017\/S0960129500000724","article-title":"Algebraic high-level net transformation systems","volume":"5","author":"Padberg","year":"1995","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB31","unstructured":"J. Padberg, M. Gajewsky, C. Ermel, Refinement versus verification: compatibility of net-invariants and stepwise development of high-level Petri nets, Tech. Report 97-22, FB Informatik, TU Berlin, 1997."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB32","unstructured":"J. Padberg, M. Gajewsky, Using high-level replacement systems to preserve safety properties in place\/transition net transformations, in: G. Engels, G. Rozenberg (Eds.), Proc. 6th Internat. Workshop on Theory and Application of Graph Transformations (TAGT\u201998), Univ. Paderborn, FB Mathematik-Informatik, 1998, pp. 356\u2013365."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB33","doi-asserted-by":"crossref","unstructured":"J. Padberg, M. Gajewsky, Rule-based refinement of Petri nets for modeling train control systems, Proc. Petri Nets in Design, Modelling and Simulation of Control Systems, Special Session at the IFAC Conf. on Control Systems Design, 2000, pp. 299\u2013304.","DOI":"10.1016\/S1474-6670(17)37205-1"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB34","first-page":"410","article-title":"Incremental development of safety properties in Petri net transformations","volume":"vol. 1764","author":"Padberg","year":"1999"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB35","first-page":"249","article-title":"Stepwise introduction and preservation of safety properties in algebraic high-level net systems","volume":"vol. 1783","author":"Padberg","year":"2000"},{"key":"10.1016\/S0167-6423(00)00022-8_BIB36","unstructured":"S. Peuker, Invariant property preserving extensions of elementary Petri nets, Tech. Report No.97-21, FB Informatik, TU Berlin, 1997."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","article-title":"Petri nets and algebraic specifications","volume":"80","author":"Reisig","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB38","unstructured":"K. Schmidt, Symbolische Analysemethoden f\u00fcr algebraische Petri-Netze, vol. 4, Bertz Verlag, versal edition, 1996."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB39","unstructured":"J. Svensson, M. Meier, Handbuch LEU Support-Guide, Vebacom Service GmbH. Also, http:\/\/www.lion.de\/PRODUKT\/produkt.html."},{"key":"10.1016\/S0167-6423(00)00022-8_BIB40","first-page":"293","article-title":"Parallel system specification with coloured Petri nets","volume":"vol. 266","author":"Vautherin","year":"1987"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642300000228?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642300000228?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T03:14:30Z","timestamp":1733368470000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642300000228"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S0167642300000228"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(00)00022-8","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}