{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:59:24Z","timestamp":1725487164639},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429593"},{"type":"electronic","value":"9783540456544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45654-6_29","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:21:19Z","timestamp":1184602879000},"page":"369-384","source":"Crossref","is-referenced-by-count":0,"title":["Analysis and Verification Queries over Object-Oriented Petri Nets"],"prefix":"10.1007","author":[{"given":"Milan","family":"\u010ce\u0161ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladim\u00edr","family":"Janou\u0161ek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom\u00e1\u0161","family":"Vojnar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,8]]},"reference":[{"key":"29_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1007\/BFb0025078","volume-title":"Computer Aided Systems Theory and Technology-EUROCAST\u201997","author":"M. \u010de\u0161ka","year":"1997","unstructured":"M. \u010de\u0161ka, V. Janou\u0161ek, and T. Vojnar. PNtalk-A Computerized Tool for Object-Oriented Petri Nets Modelling. In F. Pichler and R. Moreno-D\u00edaz, eds., Computer Aided Systems Theory and Technology-EUROCAST\u201997, volume 1333 of Lecture Notes in Computer Science, pp. 591\u2013610, 1997. Springer-Verlag."},{"key":"29_CR2","unstructured":"M. \u010de\u0161ka, V. Janou\u0161ek, and T. Vojnar. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. In M. Pezz\u00e9 and S. Shatz, eds., Proc. of Workshop on Software Engineering and Petri Nets, ICATPN 2000, DAIMI PB-548, pp. 35\u201354, Aarhus, Denmark, 2000. Dept. of Computer Science, University of Aarhus."},{"issue":"4","key":"29_CR3","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1145\/262004.262008","volume":"19","author":"E.A. Emerson","year":"1997","unstructured":"E.A. Emerson and A.P. Sistla. Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. ACM Transactions on Programming Languages and Systems, 19(4):617\u2013638, July 1997.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"G.J. Holzmann. The Model Checker Spin. IEEE Transactions on Software Engineering, 23(5), May 1997.","DOI":"10.1109\/32.588521"},{"issue":"1\/2","key":"29_CR5","first-page":"41","volume":"9","author":"C.N. Ip","year":"1996","unstructured":"C.N. Ip and D.L. Dill. Better Verification Through Symmetry. Journal of Formal Methods in System Design, 9(1\/2):41\u201376, 1996.","journal-title":"Journal of Formal Methods in System Design"},{"key":"29_CR6","volume-title":"Modelling Objects by Petri Nets","author":"V. Janou\u0161ek","year":"1998","unstructured":"V. Janou\u0161ek. Modelling Objects by Petri Nets. PhD thesis, Dept. of Computer Science and Engineering,, Brno University of Technology, Czech Republic, 1998."},{"key":"29_CR7","unstructured":"K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 2: Analysis Methods. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1994."},{"key":"29_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/3-540-65306-6_21","volume-title":"Lectures on Petri Nets I: Basic Models","author":"A. Valmari","year":"1998","unstructured":"A. Valmari. The State Explosion Problem. In W. Reisig and G. Rozenberg, eds., Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science, pp. 429\u2013528. Springer-Verlag, 1998."},{"key":"29_CR9","unstructured":"K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo. PROD Reference Manual. Technical Report B13, Helsinki University of Technology, August 1995."},{"key":"29_CR10","volume-title":"Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets","author":"Vojnar. T","year":"2001","unstructured":"T. Vojnar. Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets. PhD thesis, Department of Computer Science and Engineering, Brno University of Technology, Czech Republic, to be published in 2001."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45654-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:57:16Z","timestamp":1550451436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45654-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429593","9783540456544"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-45654-6_29","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}