{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T04:26:19Z","timestamp":1744604779207,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646778"},{"type":"electronic","value":"9783540691082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_20","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"365-384","source":"Crossref","is-referenced-by-count":21,"title":["ESTL: A Temporal Logic for Events and States"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[]},{"given":"Tobias","family":"Vesper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"20_CR1","unstructured":"Wil van der Aalst. Three good reasons for using a Petri-net-based workflow management system. In S. Navathe and T. Wakayama, editors, Proceedings of the International Working Conference on Information and Process Integration in Enterprises, pages 179\u2013201, Cambridge, Massachusetts, 1996."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Eike Best and C\u00e9sar Fern\u00e1ndez. Nonsequential Processes, EATCS Monographs on Theoretical Computer Science 13. Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-73483-0"},{"key":"20_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BFb0015474","volume-title":"KORSO: Methods, Languages, and Tools for the Construction of Correct Software","author":"F. Cornelius","year":"1995","unstructured":"Felix Cornelius, Heinrich Hu\u00dfmann, and Michael L\u00f6we. The KORSO case study for software engineering with formal methods: A medical information system. In M. Broy and S. J\u00e4hnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009, pages 417\u2013445. Springer-Verlag, 1995."},{"key":"20_CR4","unstructured":"Claudia Ermel, Magdalena Gajewsky, Tobias Vesper, and Michael Weber. Verifikation strukturierter Netze. In H. Weber, H. Ehrig, and W. Reisig, editors, Move-On-Workshop, DFG-Forschergruppe Petri Net Technology. Technical University Berlin, 1997."},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Ursula Goltz and Wolfgang Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125\u2013147, 1983.","journal-title":"Information and Control"},{"key":"20_CR6","first-page":"16","volume":"51","author":"E. Kindler","year":"1996","unstructured":"Ekkart Kindler and Wolfgang Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, 51:16\u201331, 1996.","journal-title":"Petri Net Newsletter"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BF01211299","volume":"9","author":"E. Kindler","year":"1997","unstructured":"Ekkart Kindler, Wolfgang Reisig, Hagen V\u00f6lzer, and Rolf Walter. Petri net based verification of distributed algorithms: An example. Formal Aspects of Computing, 9:409\u2013424, 1997.","journal-title":"Formal Aspects of Computing"},{"key":"20_CR8","unstructured":"Ekkart Kindler and Tobias Vesper. A temporal logic for events and states in Petri nets. In B. Farwer, D. Moldt, and M.-O. Stehr, editors, Petri Nets in System Engineering, pages 101\u2013110, Hamburg, 1997."},{"key":"20_CR9","unstructured":"David A. Marca and Clement L. McGowan. SADT: Structured Analysis and Design Technique. McGraw-Hill, 1988."},{"key":"20_CR10","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"},{"key":"20_CR11","unstructured":"Wolfgang Reisig. Petri Nets, EATCS Monographs on Theoretical Computer Science 4. Springer-Verlag, 1985."},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"Wolfgang Reisig. Petri nets and algebraic specifications. Theoretical Computer Science, 80:1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"20_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/BFb0015259","volume-title":"Computer Science Today: Recent Trends and Developments","author":"W. Reisig","year":"1995","unstructured":"Wolfgang Reisig. Petri net models of distributed algorithms. In J. van Leeuven, editor, Computer Science Today: Recent Trends and Developments, LNCS 1000, pages 441\u2013454. Springer-Verlag, Berlin, 1995."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Wolfgang Reisig. Interleaved progress, concurrent progress, and local progress. In D.A. Peled, V.R. Pratt, and G.J. Holzmann, editors, Partial Order Methods in Verification, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 29, pages 99\u2013115. AMS, 1997.","DOI":"10.1090\/dimacs\/029\/06"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Wolfgang Reisig. Elements of Distributed Algorithms. Modeling and Analysis with Petri Nets. In preparation, Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03687-7"},{"issue":"1","key":"20_CR16","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/TSE.1977.229900","volume":"3","author":"D. T. Ross","year":"1977","unstructured":"Douglas T. Ross. Structured Analysis (SA): A language for communicating ideas. IEEE Software Engineering Transactions, 3(1):16\u201337, January 1977.","journal-title":"IEEE Software Engineering Transactions"},{"key":"20_CR17","unstructured":"Antonia Sinachopoulos. Temporal logics of elementary net systems. Arbeitspapiere der GMD 353, 1988."},{"key":"20_CR18","series-title":"Informatik-Bericht","volume-title":"DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen","author":"M. Weber","year":"1997","unstructured":"Michael Weber, Rolf Walter, Hagen V\u00f6lzer, Tobias Vesper, Wolfgang Reisig, Sibylle Peuker, Ekkart Kindler, J\u00f6rn Freiheit, and J\u00f6rg Desel. DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen. Informatik-Bericht 88, Humboldt-University Berlin, December 1997."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T04:41:51Z","timestamp":1737348111000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}