{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:08Z","timestamp":1725484268085},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437031"},{"type":"electronic","value":"9783540478843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47884-1_19","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T16:46:26Z","timestamp":1179593186000},"page":"339-359","source":"Crossref","is-referenced-by-count":4,"title":["Translations between Textual Transition Systems and Petri Nets"],"prefix":"10.1007","author":[{"given":"Katerina","family":"Korenblat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orna","family":"Grumberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Katz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"19_CR1","unstructured":"Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, C\u00e9sar Mu\u00f1oz, Sam Owre, Harald Rue\u00df, John Rushby, Vlad Rusu, Hassen Sa\u00efdi, N. Shankar, Eli Singerman, and Ashish Tiwari. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187\u2013196, Hampton, VA, June 2000. Available at \n                    http:\/\/shemesh.larc.nasa.gov\/fm\/Lfm2000\/Proc\/\n                    \n                  ."},{"key":"19_CR2","unstructured":"N. Bjorner, A. Browne, E. Chang, M. Colon, A. Kapur, Z. Manna, H.B. Simpa, and T.E. Uribe. Step: The stanford temporal prover-user\u2019s manual. Technical Report STAN-CS-TR-95-1562, Department of Computer Science, Stanford University, November 1995."},{"key":"19_CR3","unstructured":"B. Eichenauer and M. Zelm. Transformation of cimosa-models into petrinet-models with pace. Technical report, 1999. \n                    http:\/\/www.ibepace.com\n                    \n                  ."},{"key":"19_CR4","unstructured":"R. Esser. An Object Oriented Petri Net Approach to Embedded System Design. Phd dissertation, ETH Zurich, 1996."},{"key":"19_CR5","unstructured":"R. Esser, J.W. Janneck, and M. Naedele. Using an object-oriented petri net tool for heterogeneous systems design: A case study. In Proceedings of Algorithmen und Werkzeuge fur Petrinetze, 1997."},{"key":"19_CR6","unstructured":"B. Grahlmann and C. Pohl. Profiting from spin in pep. In Proceedings of the SPIN\u201998 Workshop, 1998."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"S. Katz and O. Grumberg. A framework for translating models and specifications. In Third international conference on Integrated Formal Methods (IFM\u201902), Turku, Finland, May 2002.","DOI":"10.1007\/3-540-47884-1_9"},{"key":"19_CR8","unstructured":"P. Kemper. Logistic process models go petri nets. In S. Philippi, editor, Fachberichte Informatik, No. 7-2000: 7. Workshop Algorithmen und Werkzeuge fur Petrinetze, 2.\u20133, pages 69\u201374. Universitatt Koblenz-Landau, Institut fur Informatik, 2000."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(92)90180-N","volume":"96","author":"M. Nielsen","year":"1992","unstructured":"M. Nielsen, G. Rozenberg, and P.S. Thiagarajan. Elementery transition systems. Theoretical Computer Science, 96:3\u201333, 1992.","journal-title":"Theoretical Computer Science"},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-63139-9_43","volume-title":"18th International Conference on Application and Theory of Petri Nets","author":"M. Pietkiewicz-Koutny","year":"1997","unstructured":"M. Pietkiewicz-Koutny. Transition systems of elementary net systems with inhibitor arcs. In P. Azma and G. Balbo, editors, 18th International Conference on Application and Theory of Petri Nets, volume 1248 of LNCS, pages 310\u2013327. Springer-Verlag, 1997."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"W. Reisig. Elements of Distributed Algorithms-Modeling and Analysis with Petri Nets. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03687-7"},{"key":"19_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1007\/3-540-60973-3_105","volume-title":"FME\u201996: Industrial Benefit and Advances in Formal Methods","author":"L. Shi","year":"1996","unstructured":"L. Shi and P. Nixon. An improved translation of sa\/rt specification model to high-level timed petri nets. In FME\u201996: Industrial Benefit and Advances in Formal Methods, volume 1051 of LNCS, pages 518\u2013537. Springer-Verlag, 1996."},{"issue":"12","key":"19_CR14","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1109\/12.477242","volume":"44","author":"R. Sisto","year":"1995","unstructured":"R. Sisto and A. Valenzano. Mapping petri nets with inhibitor arcs onto basic lotos behaviour expressions. IEEE Transactions on Computers, 44(12):1361\u20131370, 1995.","journal-title":"IEEE Transactions on Computers"},{"key":"19_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-48745-X_18","volume-title":"Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN\u201999","author":"W. Vogler","year":"1999","unstructured":"W. Vogler. Concurrent implementation of asynchronous transition systems. In Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN\u201999, volume 1630 of LNCS, pages 284\u2013303. Springer-Verlag, 1999."},{"key":"19_CR16","unstructured":"G. Wimmel. A bdd-based model checker for the pep tool. Technical report. Project Report 1997, \n                    http:\/\/theoretica.Informatik.Uni-Oldenburg.DE\/pep\n                    \n                  ."},{"key":"19_CR17","unstructured":"G. Winskel and M. Nielsen. Models for concurrency. In S. Abramskky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pages 1\u2013148. 1995."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47884-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T14:51:20Z","timestamp":1550328680000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47884-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437031","9783540478843"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-47884-1_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}