{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,11]],"date-time":"2025-04-11T05:11:42Z","timestamp":1744348302469},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568636"},{"type":"electronic","value":"9783540477594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56863-8_49","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:41:45Z","timestamp":1330256505000},"page":"224-241","source":"Crossref","is-referenced-by-count":4,"title":["Shortest paths in reachability graphs"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Desel","sequence":"first","affiliation":[]},{"given":"Javier","family":"Esparza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","first-page":"203","volume":"28","author":"T. Aardenne-Ehrenfest van","year":"1951","unstructured":"T. van Aardenne-Ehrenfest and N.G. de Bruijn: Circuits and Trees in Oriented Linear Graphs, Simon Stevin 28, 203\u2013217 (1951).","journal-title":"Simon Stevin"},{"issue":"No.2","key":"14_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF01888220","volume":"2","author":"E. Best","year":"1990","unstructured":"E. Best and J. Desel: Partial Order Behaviour and Structure of Petri Nets. Formal Aspects of Computing Vol. 2 No.2, 123\u2013138 (1990).","journal-title":"Formal Aspects of Computing"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"E. Best and J. Esparza: Model Checking of Persistent Petri Nets. Computer Science Logic 91, E. B\u00f6rger, G. J\u00e4ger, H. Kleine B\u00fcning and M.M. Richter (eds.), LNCS 626, 35\u201353 (1992).","DOI":"10.1007\/BFb0023756"},{"key":"14_CR4","first-page":"71","volume-title":"Advances in Petri Nets","author":"E. Best","year":"1987","unstructured":"E. Best and P.S. Thiagarajan: Some Classes of Live and Save Petri Nets. Concurrency, K. and Nets K., Voss H.J., Genrich G., Rozenberg G. (eds.), Advances in Petri Nets. \u2014 Berlin: Springer-Verlag, 71\u201394 (1987)."},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF00289141","volume":"21","author":"E. Best","year":"1984","unstructured":"E. Best and K. Voss: Free Choice Systems have Home States. Acta Informatica 21, 89\u2013100 (1984).","journal-title":"Acta Informatica"},{"key":"14_CR6","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":"14_CR7","unstructured":"J. Esparza: Model Checking Using net Unfoldings. Hildesheimer Informatik Fachbericht 14\/92 (October 1992). To appear in the Proceedings of TAPSOFT'93."},{"key":"14_CR8","unstructured":"H. Fleischner: Eulerian Graphs and Related Topics, Part 1, Volume 1. Annals of Discrete Mathematics Vol.45. North-Holland (1990)."},{"key":"14_CR9","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H.J. Genrich","year":"1973","unstructured":"H.J. Genrich and K. Lautenbach: Synchronisationsgraphen. Acta Informatica Vol. 2, 143\u2013161 (1973).","journal-title":"Acta Informatica"},{"key":"14_CR10","unstructured":"M. Hack: Analysis of Production Schemata by Petri Nets. TR-94, MIT-MAC (1972). Corrections (1974)."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"R. Howell and L. Rosier: On questions of fairness and temporal logic for conflict-free Petri nets. Advances in Petri Nets 1988, G. Rozenberg (ed.), LNCS 340, 200\u2013226 (1988).","DOI":"10.1007\/3-540-50580-6_30"},{"issue":"No.3","key":"14_CR12","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/322077.322079","volume":"25","author":"L. Landweber","year":"1978","unstructured":"L. Landweber and E. Robertson: Properties of Conflict-Free and Persistent Petri Nets. JACM, Vol. 25, No.3, 352\u2013364 (1978).","journal-title":"JACM"},{"key":"14_CR13","unstructured":"K.L. McMillan: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. Proceedings of the 4th Workshop on Computer Aided Verification, Montreal, pp. 164\u2013174 (1992)."},{"issue":"No.2","key":"14_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S0019-9958(84)80052-2","volume":"61","author":"P.S. Thiagarajan","year":"1984","unstructured":"P.S. Thiagarajan and K. Voss: A Fresh look at free-choice Nets. Information and Control, Vol. 61, No. 2, 85\u2013113 (1984).","journal-title":"Information and Control"},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0020-0190(91)90225-7","volume":"38","author":"H. Yen","year":"1991","unstructured":"H. Yen: A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets. Information Processing Letters 38, 71\u201376 (1991).","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56863-8_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T00:56:26Z","timestamp":1619571386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56863-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568636","9783540477594"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56863-8_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}