{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:02:18Z","timestamp":1772024538692,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540664888","type":"print"},{"value":"9783540482499","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48249-0_31","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:13:11Z","timestamp":1269882791000},"page":"361-374","source":"Crossref","is-referenced-by-count":22,"title":["Modeling Safety-Critical Systems with Z and Petri Nets"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[]},{"given":"Maritta","family":"Heisel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,10,14]]},"reference":[{"key":"31_CR1","unstructured":"[BDG+ 96]_ R. B\u00fcssow, H. D\u00f6rr, R. Geisler, W. Grieskamp, and M. Klar. \u03bc SZ-ein Ansatz zur systematischen Verbindung von Z und Statecharts. Technical Report TR 96-32, Technische Universit\u00e4t Berlin, 1996."},{"key":"31_CR2","series-title":"Lect Notes Comput Sci","first-page":"397","volume-title":"Proceedings TACAS\u201996","author":"E. Best","year":"1996","unstructured":"E. Best and B. Grahlmann. PEP-more than a Petri net tool. In Proceedings TACAS\u201996, LNCS 1055, pages 397\u2013401. Springer-Verlag, 1996."},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"R. B\u00fcssow, W. Grieskamp, W. Heicking, and S. Herrmann. An open environment for the integration of heterogeneous modelling techniques and tools. In Current Trends in Applied Formal Methods. Springer-Verlag, 1998. to appear.","DOI":"10.1007\/3-540-48257-1_11"},{"key":"31_CR4","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/s001700050051","volume":"15","author":"M. Heiner","year":"1999","unstructured":"M. Heiner, P. Deussen, and J. Spranger. A case study in developing control software of manufacturing systems with hierarchical Petri nets. Int. Journal of Advanced Manufacturing Technology, 15:139\u2013152, 1999.","journal-title":"Int. Journal of Advanced Manufacturing Technology"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"[HLN+ 90]_ D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. rakhtenbrot. Statemate:A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16 No. 4, April 1990.","DOI":"10.1109\/32.54292"},{"key":"31_CR6","first-page":"31","volume-title":"Proceedings 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP)","author":"M. Heisel","year":"1996","unstructured":"M. Heisel and C. S\u00fchl. Formal specification of safety-critical software with Z and real-time CSP. In E. Schoitsch, editor, Proceedings 15th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 31\u201345. Springer-Verlag London, 1996."},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Vol. 1. Springer-Verlag, 1992.","DOI":"10.1007\/978-3-662-06289-0"},{"key":"31_CR8","series-title":"Lect Notes Comput Sci","first-page":"283","volume-title":"Theorem Proving in Higher-Order Logics","author":"K. T. Santen","year":"1996","unstructured":"Kolyang, T. Santen, and B. Wolff. A structure preserving encoding of Z in Isabelle\/ HOL. In J. von Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher-Order Logics, LNCS 1125, pages 283\u2013298. Springer-Verlag, 1996."},{"key":"31_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Formal Development of Reactive Systems","year":"1995","unstructured":"C. Lewerentz and T. Lindner, editors. Formal Development of Reactive Systems. LNCS 891. Springer-Verlag, 1995."},{"key":"31_CR10","unstructured":"N. L\u00e9vy and J. Souqui\u00e9res. A \u201cComing and Going\u201d Approach to Specification Construction: a Scenario. In W. Sch\u00e4fer, J. Kramer, and A. Wolf, editors, Proc. 8th Int. Workshop on Software Specification and Design, pages 115\u2013118. IEEE Computer Society Press, 1996."},{"key":"31_CR11","unstructured":"T. Menzel. Entwurf und Prototypimplementierung eines Petri-Netz-Framework. Technical report, BTU Cottbus, Institut f\u00fcr Informatik, 1997."},{"key":"31_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/BFb0027284","volume-title":"ZUM\u201997: The Z Formal Specification Notation","author":"M. Saaltink","year":"1997","unstructured":"M. Saaltink. The Z\/EVES system. In J. Bowen, M. Hinchey, and D. Till, editors, ZUM\u201997: The Z Formal Specification Notation, LNCS 1212, pages 72\u201388. Springer-Verlag, 1997."},{"key":"31_CR13","volume-title":"The fuzz manual","author":"J. M. Spivey","year":"1992","unstructured":"J. M. Spivey. The fuzz manual. Computing Science Consultancy, Oxford, 1992."},{"key":"31_CR14","unstructured":"J. M. Spivey. The Z Notation-A Reference Manual. Prentice Hall, 2nd edition, 1992."},{"key":"31_CR15","unstructured":"P. H. Starke and S. Roch. INA-Integrated Net Analyser version 1.7. Technical report, Humboldt-Universit\u00e4t Berlin, 1997."},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"P. H. Starke. Analyse von Petri-Netz-Modellen. Teubner, 1990.","DOI":"10.1007\/978-3-663-09262-9"},{"key":"31_CR17","unstructured":"R. Tiedemann. PED-Hierarchischer Petri-Netz-Editor. Technical report, BTU Cottbus, Institut f\u00fcr Informatik, 1997."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48249-0_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T14:52:55Z","timestamp":1558968775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48249-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664888","9783540482499"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48249-0_31","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}