{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:36Z","timestamp":1762458516159},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2006,10,11]],"date-time":"2006-10-11T00:00:00Z","timestamp":1160524800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2006,11,2]]},"DOI":"10.1007\/s00236-006-0023-y","type":"journal-article","created":{"date-parts":[[2006,10,10]],"date-time":"2006-10-10T16:27:47Z","timestamp":1160497667000},"page":"307-330","source":"Crossref","is-referenced-by-count":29,"title":["Merged processes: a new condensed representation of Petri net behaviour"],"prefix":"10.1007","volume":"43","author":[{"given":"Victor","family":"Khomenko","sequence":"first","affiliation":[]},{"given":"Alex","family":"Kondratyev","sequence":"additional","affiliation":[]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,10,11]]},"reference":[{"key":"23_CR1","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/32.489078","volume":"22","author":"J.C. Corbett","year":"1996","unstructured":"Corbett J.C. (1996). Evaluating Deadlock detection methods for concurrent software. IEEE Trans. Softw. Eng. 22:161\u2013180","journal-title":"IEEE Trans. Softw. Eng."},{"key":"23_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"Desel J., Esparza J. (1995). Free Choice Petri Nets. Cambridge Tracts in Theoretical Computer Science 40, Cambridge University Press, Cambridge"},{"key":"23_CR4","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An Extensible SAT-solver. In: Proceedings of SAT\u201903, LNCS 2919, 502\u2013518 (2003)"},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet J. (1991). Branching processes of Petri nets. Acta. Inf. 28:575\u2013591","journal-title":"Acta. Inf."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Esparza, J.: Decidability and Complexity of Petri Net Problems\u2014an Introduction In: Lectures on Petri nets I: basic models, LNCS 1491, pp. 374\u2013428 (1998)","DOI":"10.1007\/3-540-65306-6_20"},{"key":"23_CR7","first-page":"285","volume":"20","author":"J. Esparza","year":"2002","unstructured":"Esparza J., R\u00f6mer S., Vogler W. (2002). An improvement of McMillan\u2019s unfolding algorithm Formula Methods Syst. Des. 20:285\u2013310","journal-title":"Des."},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"Harel D., Lachover H., Naamad A., Pnueli A. et\u00a0al. (1990). STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Soft. Eng. 16:403\u2013414","journal-title":"IEEE Trans. Soft. Eng."},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"247","DOI":"10.3233\/FI-1999-37304","volume":"37","author":"K. Heljanko","year":"1999","unstructured":"Heljanko K. (1999). Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-Safe Petri Nets. Fundam. Inf. 37:247\u2013268","journal-title":"Fundam. Inf."},{"key":"23_CR10","unstructured":"Kahn, G.: The Semantics of a Simple Language for Parallel Programming. In: Proceedings of IFIP Congress, North Holland, pp. 471\u2013475 (1974)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Khomenko, V.: Model Checking Based on Prefixes of Petri Net Unfoldings PhD Thesis, School of Computing Science, University of Newcastle (2003)","DOI":"10.1007\/3-540-45657-0_49"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Khomenko, V., Kondratyev, A., Koutny, M., Vogler, V.: Merged processes \u2013 a New Condensed Representation of Petri Net Behaviour. In: Proceedings of CONCUR\u201905, LNCS 3653, pp. 338\u2013352 (2005)","DOI":"10.1007\/11539452_27"},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s00236-003-0122-y","volume":"40","author":"V. Khomenko","year":"2003","unstructured":"Khomenko V., Koutny M., Vogler V. (2003). Canonical prefixes of Petri net unfoldings Acta Inf. 40:95\u2013118","journal-title":"Acta Inf."},{"key":"23_CR14","first-page":"221","volume":"62","author":"V. Khomenko","year":"2004","unstructured":"Khomenko V., Koutny M., Yakovlev A. (2004). Detecting state coding conflicts in STG unfoldings using SAT Fundam. Inf. 62:221\u2013241","journal-title":"Inf."},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: Using Unfoldings to Avoid State Explosion Problem in the Verification of Asynchronous Circuits. In: Proceedings of CAV\u201992, LNCS 663, pp. 164\u2013174 (1992)","DOI":"10.1007\/3-540-56496-9_14"},{"key":"23_CR16","unstructured":"McMillan, K.L.: Symbolic Model Checking: an Approach to the State Explosion Problem PhD Thesis, CMU-CS-92-131 (1992)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Melzer, S., R\u00f6mer, S.: Deadlock Checking Using Net Unfoldings. In: Proceedings of CAV\u201997, LNCS 1254, pp. 352\u2013363 (1997)","DOI":"10.1007\/3-540-63166-6_35"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Moskewicz, S., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: CHAFF: Engineering an Efficient SAT Solver. In: Proceedings of DAC\u201901, ASME Tech. Publ., pp. 530\u2013535 (2001)","DOI":"10.1145\/378239.379017"},{"key":"23_CR19","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T. (1989). Petri Nets: properties, analysis and applications. Proc. of IEEE 77:541\u2013580","journal-title":"Proc. of IEEE"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Valmari, A.: The State Explosion Problem. In: Lectures on Petri nets I: basic models, LNCS 1491, pp. 429\u2013528 (1998)","DOI":"10.1007\/3-540-65306-6_21"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0023-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-006-0023-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0023-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,18]],"date-time":"2020-04-18T14:03:45Z","timestamp":1587218625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-006-0023-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,11]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006,11,2]]}},"alternative-id":["23"],"URL":"https:\/\/doi.org\/10.1007\/s00236-006-0023-y","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10,11]]}}}