{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:29Z","timestamp":1725490229368},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_25","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:13:34Z","timestamp":1188314014000},"page":"334-350","source":"Crossref","is-referenced-by-count":3,"title":["Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems"],"prefix":"10.1007","author":[{"given":"Julia","family":"Padberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bettina E.","family":"Enders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"25_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/3-540-57787-4_7","volume-title":"Proc. Graph Grammar Workshop Dagstuhl 93","author":"C.E.L.+.9.4._.A. Corradini","year":"1994","unstructured":"CEL+94._A. Corradini, H. Ehrig, M. L\u00f6we, U. Montanari, and F. Rossi. Note on standard representation of graphs and graph derivations. In Proc. Graph Grammar Workshop Dagstuhl 93, pages 104\u2013118, 1994. Lecture Notes in Computer Science 776."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"CMR+97._A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. L\u00f6we. Algebraic Approaches to Graph Transformation-Part I: Basic Concepts and Double Pushout Approach, volume 1, chapter 3, pages 163\u2013245. World Scientific, 1997. G. Rozenberg (ed.).","DOI":"10.1142\/9789812384720_0003"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Andrea Corradini. Concurrent computing: from Petri nets to graph grammars. In A. Corradini and U. Montanari, editors, Electronic Notes in Theoretical Computer Science, volume 2. Elsevier Science Publishers, 2000.","DOI":"10.1016\/S1571-0661(05)80181-1"},{"key":"25_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Graph Grammars and their Application to Computer Science and Biology","author":"H. Ehrig","year":"1979","unstructured":"H. Ehrig. Introduction to the Algebraic Theory of Graph Grammars (A Survey). In Graph Grammars and their Application to Computer Science and Biology. Springer LNCS 73, 1979."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"B. E. Enders-Sucrow. Describing a Continuous Collaborative Specification Process of Human-Computer Interaction by Graph Rewriting. In a Special Issue of the Transactions of the SDPS: Journal of Integrated Design and Process Science, volume 5 of 1. Society for Design and Process Science, March 2001.","DOI":"10.4018\/978-1-878289-91-9.ch001"},{"key":"25_CR6","unstructured":"B. Fields, P. Wright, and M. Harrison. Designing Human-System Interaction Using The Resource Model. In Proceedings of APCHI\u201996: Asia Pacific Conference on Human-Computer Interaction, Singapore, June 1996."},{"key":"25_CR7","unstructured":"F. Gadducci, R. Heckel, and M. Koch. Model checking graph-interpreted temporal formulas. In G. Engels and G. Rozenberg, editors, Proc. 6th International Workshop on Theory and Applications of Graph Transformation (TAGT\u201998), number tr-ri-98-201 in Reihe Informatik, pages 292\u2013299. Universit\u00e4t-Gesamthochschule Paderborn, 1998."},{"issue":"6","key":"25_CR8","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","volume":"6","author":"R. Heckel","year":"1996","unstructured":"R. Heckel, A. Corradini, H. Ehrig, and M. L\u00f6we. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613\u2013648, 1996.","journal-title":"Math. Struc. in Comp. Science"},{"key":"25_CR9","first-page":"28","volume-title":"Human Factors in Aeronautics","author":"V. Keyser De","year":"1996","unstructured":"V. De Keyser and D. Javaux. Human Factors in Aeronautics, pages 28\u201345. Springer, Vienna, 1996. F. Bodart and J. Vanderdonckt (eds.)."},{"key":"25_CR10","unstructured":"M. Koch. Integration of Graph Transformation and Temporal Logic for the Specification of Distributed Systems. PhD thesis, Technische Universit\u00e4t Berlin, FB 13, 1999."},{"key":"25_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-61228-9_94","volume-title":"Graph Grammars and their Applications to Computer Science","author":"M. Korff","year":"1995","unstructured":"M. Korff and L. Ribeiro. Formal relationship between graph grammars and Petri nets. In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Graph Grammars and their Applications to Computer Science, pages 288\u2013303. Springer, LNCS 1073, 1995. 5th International Workshop, Williamsburg, USA, November 1994, Selected Papers."},{"key":"25_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Graphtheoretic Concepts in Computer Science","author":"H.-J. Kreowski","year":"1981","unstructured":"H.-J. Kreowski. A comparison between Petri-nets and graph grammars. In Lecture Notes in Computer Science 100, pages 1\u201319. Springer, 1981."},{"key":"25_CR13","volume-title":"Technical report","author":"A. Monnier","year":"1992","unstructured":"A. Monnier. Rapport pr\u00e9liminaire de la Commission d\u2019enqu\u00eate administrative sur l\u2019accident du Mont Saint-Odile du 20 janvier 1992. Technical report, Minist\u00e8re de l\u2019Equipement, du Logement, des Transports et de l\u2019Espace, Paris, France, 1992."},{"key":"25_CR14","unstructured":"J. M\u00fcller. Terminating and cyclic graph rewriting. In G. Engels and G. Rozenberg, editors, Proc. 6th Int. Workshop on Theory and Application of Graph Transformation (TAGT\u201998), number tr-ri-98-201 in Reihe Informatik, pages 316\u2013323. Universit\u00e4t-Gesamthochschule Paderborn, 1998."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"J. Padberg and B. E. Enders. Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems. Internal report, http:\/\/www.informatik.uni-essen.de\/enders\/Papers\/textframe.html , 2001.","DOI":"10.1007\/3-540-45832-8_25"},{"key":"25_CR16","unstructured":"W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. Springer, 1985."},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"B. E. Sucrow. Formal Specification of Human-Computer Interaction by Graph Grammars under Consideration of Information Resources. In Proceedings of the 1997 Automated Software Engineering Conference (ASE\u201997), pages 28\u201335. IEEE Computer Society, November 1\u20135 1997.","DOI":"10.1109\/ASE.1997.632821"},{"key":"25_CR18","unstructured":"P. Wright, B. Fields, and M. Harrison. Distributed Information Resources: A New Approach to Interaction Modelling. In T. Green and J. Canas and C. Warran, editor, EACE, pages 5\u201310, 1996."},{"key":"25_CR19","unstructured":"P. Wright, B. Fields, and M. Harrison. Analysing Human-Computer Interaction as Distributed Cognition. Draft-Revised, August 1999."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:03:36Z","timestamp":1684019016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}