{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:08:12Z","timestamp":1737176892446,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_14","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T11:01:43Z","timestamp":1182164503000},"page":"217-236","source":"Crossref","is-referenced-by-count":2,"title":["Petri Nets, Situations, and Automata"],"prefix":"10.1007","author":[{"given":"Ekkart","family":"Kindler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"14_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/3-540-48745-X_24","volume-title":"Application and Theory of Petri Nets 1999, 20th International Conference","author":"T. Baar","year":"1999","unstructured":"Thomas Baar, Ekkart Kindler, and Hagen V\u00f6lzer. Verifying intuition \u2014 ILF checks DAWN proofs. In S. Donatelli and J. Kleijn, editors, Application and Theory of Petri Nets 1999, 20 th International Conference, LNCS 1639, pages 404\u2013423. Springer, June 1999."},{"key":"14_CR2","unstructured":"Han\u00eane Ben Abdallah and Stefan Leue. Syntactical analysis of Message Sequence Chart specifications. Technical Report 96-12, University of Waterloo, November 1996."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"John K. Bennet, John B. Carter, and Willy Zwaenepoel. Munin: Distributed shared memory based on type-specific memory coherence. In 2nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 168\u2013176. ACM, March 1990.","DOI":"10.1145\/99163.99182"},{"key":"14_CR4","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":"14_CR5","unstructured":"Lothar Borrmann and Martin Herdieckershoff. A coherency model for virtually shared memory. In International Conference on Parallel Processing, August 1990."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Werner Damm and David Harel. LCS\u2019s: Breathing life into message sequence charts. In Third International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS\u201999, IFIP TC6\/WG6.1, 1999.","DOI":"10.1007\/978-0-387-35562-7_23"},{"key":"14_CR7","unstructured":"Peter Graubmann, Ekkart Rudolph, and Jens Grabowski. Towards a Petri net based semantics definition for message sequence charts. In O. Faergemand and A Sarma, editors, SDL\u2019 93 Using Objects, proceedings of the Sixth SDL Forum, pages 415\u2013418. North-Holland, October 1993."},{"key":"14_CR8","unstructured":"ITU-T Recommendation Z.120. Message sequence charts (MSC). ITU, 1993\/96."},{"key":"14_CR9","unstructured":"Ekkart Kindler. A classification of consistency models. Technical Report B99-14, Freie Universit\u00e4t Berlin, Institut f\u00fcr Informatik, October 1999."},{"key":"14_CR10","unstructured":"Ekkart Kindler. Systematische Spezifikation und Verifikation von Datenkonsistenzprotokollen. Habilitation thesis, Humboldt-Universit\u00e4t zu Berlin, Institut f\u00fcr Informatik, August 2000."},{"key":"14_CR11","unstructured":"Ekkart Kindler and Dennis Shasha. Verifying a design pattern for the fault-tolerant execution of parallel programs. Technical Report TR2000-803, New York University, Courant Institute of Mathematical Sciences, Computer Science Department, June 2000."},{"key":"14_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-69108-1_19","volume-title":"Application and Theory of Petri Nets 1998, 19th International Conference","author":"E. Kindler","year":"1998","unstructured":"Ekkart Kindler and Hagen V\u00f6lzer. Flexibility in algebraic nets. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets 1998, 19 th International Conference, LNCS 1420, pages 345\u2013364. Springer-Verlag, June 1998."},{"key":"14_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/3-540-61363-3_16","volume-title":"Application and Theory of Petri Nets 1996","author":"E. Kindler","year":"1996","unstructured":"Ekkart Kindler and Rolf Walter. Arc-typed Petri nets. In J. Billington and W. Reisig, editors, Application and Theory of Petri Nets 1996, LNCS 1091, pages 289\u2013306. Springer-Verlag, June 1996."},{"key":"14_CR14","unstructured":"James Rumbaugh, Ivar Jacobsen, and Grady Booch. The Unified Modeling Language Reference Manual. Object Technology Series. Addison Wesley, 1999."},{"key":"14_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/3-540-65306-6_16","volume-title":"Lectures on Petri Nets I: Basic Models","author":"E. Smith","year":"1998","unstructured":"Einar Smith. Principles of high-level net theory. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Basic Models, LNCS 1491, pages 174\u2013210. Springer, 1998."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:38:44Z","timestamp":1737103124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}