{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:57Z","timestamp":1725456057797},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023756","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:11:10Z","timestamp":1132395070000},"page":"35-52","source":"Crossref","is-referenced-by-count":4,"title":["Model checking of persistent Petri nets"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Javier","family":"Esparza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"COINS Technical Report 90\u2013116","author":"G.S. Avrunin","year":"1990","unstructured":"G.S. Avrunin, U.A. Buy, J.C. Corbett, L.K. Dillon and J.C. Wileden: Automated Analysis of Concurrent Systems with the Constrained Expression Toolset. COINS Technical Report 90\u2013116, University of Massachussets at Amherst (1990)."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best and R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. TCS Vol. 55, 87\u2013136 (1987).","journal-title":"TCS"},{"key":"3_CR3","first-page":"91","volume":"11","author":"E. Best","year":"1991","unstructured":"E. Best and J. Esparza: Model Checking of Persistent Petri Nets. Hildesheimer Informatik Fachbericht 11\/91 (1991).","journal-title":"Hildesheimer Informatik Fachbericht"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"E. Best and C. Fern\u00e1ndez: Nonsequential Processes \u2014 a Petri Net View. EATCS Monographs on Theoretical Computer Science Vol.13 (1988).","DOI":"10.1007\/978-3-642-73483-0"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, O. Grumberg, M.C. Browne: Reasoning about Networks with many identical finite\u2014state processes. Proceedings of the Fifth Annual Symposium on Principles of Distributed Computing, 240\u2013248 (1986).","DOI":"10.1145\/10590.10611"},{"key":"3_CR6","unstructured":"J.M. Colom: Structural Analysis Techniques Based on Linear Programming and Convex Geometry. Ph. D. Thesis, University of Zaragoza (1990) (in Spanish)."},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"F. Commoner, A.W. Holt, S. Even and A. Pnueli: Marked Directed Graphs. Journal of Computer and System Science Vol.5, 511\u2013523 (1971).","journal-title":"Journal of Computer and System Science"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"421","DOI":"10.3233\/FI-1986-9404","volume":"IX","author":"C. Fern\u00e1ndez","year":"1986","unstructured":"C. Fern\u00e1ndez, M. Nielsen and P.S. Thiagarajan: Notions of Realisable Non-Sequential Processes. Fundamenta Informaticae IX, 421\u2013454 (1986).","journal-title":"Fundamenta Informaticae"},{"key":"3_CR9","unstructured":"P. Godefroid: Using Partial Orders to Improve Automatic Verification Methods. Proc. of Computer-Aided Verification Workshop, Rutgers, New Jersey (1990)."},{"key":"3_CR10","unstructured":"G.E. Hughes and M.J. Creswell: An Introduction to Modal Logic. Methuen and Co. (1968)."},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"R. Janicki and M. Koutny: Optimal Simulation for the Verification of Concurrent Systems. Technical report, McMaster University (1989).","DOI":"10.1007\/3-540-51285-3_34"},{"key":"3_CR12","unstructured":"M. Jantzen: Complexity of Place\/Transition Nets. Petri Nets: Central Models and Their Properties. W. Brauer, W. Reisig, G. Rozenberg (eds.), LNCS 254, 397\u2013412 (1987)."},{"issue":"No.3","key":"3_CR13","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"L.H. Landweber","year":"1978","unstructured":"L.H. Landweber and E.L. Robertson: Properties of Conflict-free and Persistent Petri Nets. JACM Vol.25, No.3, 352\u2013364 (1978).","journal-title":"JACM"},{"issue":"No.4","key":"3_CR14","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE Vol. 77, No. 4, 541\u2013580 (1989).","journal-title":"Proc. of the IEEE"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"H. Qin: Efficient Verification of Determinate Processes. CONCUR'91, J.C.M. Baeten, J.F. Groote (eds.), LNCS 527, 470\u2013479 (1991).","DOI":"10.1007\/3-540-54430-5_107"},{"key":"3_CR16","unstructured":"W. Reisig: Petri Nets-an Introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer Verlag (1985)."},{"key":"3_CR17","first-page":"152","volume":"36","author":"M. Tiusanen","year":"1988","unstructured":"M. Tiusanen: Some Unsolved Problems in Modelling Self-timed Circuits Using Petri Nets. EATCS Bulletin, Vol. 36, 152\u2013160 (1988).","journal-title":"EATCS Bulletin"},{"key":"3_CR18","unstructured":"A. Valmari: Stubborn Sets for Reduced State Space Generation. Advances in Petri Nets 1990, G. Rozenberg (ed.), LNCS 483, 491\u2013515 (1990)."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0023756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T02:16:18Z","timestamp":1626747378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023756"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0023756","relation":{},"subject":[]}}