{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:23:59Z","timestamp":1725891839813},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540472377"},{"type":"electronic","value":"9783540472384"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901914_37","type":"book-chapter","created":{"date-parts":[[2006,10,10]],"date-time":"2006-10-10T05:21:43Z","timestamp":1160457703000},"page":"508-522","source":"Crossref","is-referenced-by-count":3,"title":["The Implementation of Mazurkiewicz Traces in POEM"],"prefix":"10.1007","author":[{"given":"Peter","family":"Niebert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongyang","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"37_CR1","volume-title":"Proc. of 40th IEEE Conference on Decision and Control","author":"G. Behrmann","year":"2001","unstructured":"Behrmann, G., David, A., Larsen, K.G., Moeller, O., Pettersson, P., Yi, W.: Uppaal - present and future. In: Proc. of 40th IEEE Conference on Decision and Control, IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"37_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/3-540-46002-0_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Bornot","year":"2002","unstructured":"Bornot, S., Morin, R., Niebert, P., Zennou, S.: Black box unfolding with local first search. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 386\u2013400. Springer, Heidelberg (2002)"},{"key":"37_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-45657-0_26","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"2002","unstructured":"Bozga, M., Graf, S., Mounier, L.: If-2.0: A validation environment for component-based real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 343\u2013348. Springer, Heidelberg (2002)"},{"volume-title":"The Book of Traces","year":"1995","key":"37_CR4","unstructured":"Diekert, V., Rozemberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)"},{"key":"37_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-48320-9_2","volume-title":"CONCUR\u201999. Concurrency Theory","author":"J. Esparza","year":"1999","unstructured":"Esparza, J., R\u00f6mer, S.: An unfolding algorithm for synchronous products of transition systems. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, pp. 2\u201320. Springer, Heidelberg (1999)"},{"issue":"3","key":"37_CR6","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J. Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of mcmillan\u2019s unfolding algorithm. Formal Methods in System Design\u00a020(3), 285\u2013310 (2002)","journal-title":"Formal Methods in System Design"},{"key":"37_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Wolper, P.: A partial approach to model checking. In: Logic in Computer Science, pp. 406\u2013415 (1991)","DOI":"10.1109\/LICS.1991.151664"},{"key":"37_CR8","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF01383879","volume":"2","author":"P. Godefroid","year":"1993","unstructured":"Godefroid, P., Wolper, P.: Using partial orders for the efficient verification of deadlock freedom and safety properties. Formal Methods in System Design\u00a02, 149\u2013164 (1993)","journal-title":"Formal Methods in System Design"},{"key":"37_CR9","volume-title":"The Spin Model Checker, Primer and Reference Manual","author":"G. Holzmann","year":"2003","unstructured":"Holzmann, G.: The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading (2003)"},{"key":"37_CR10","volume-title":"First SPIN Workshop","author":"G. Holzmann","year":"1995","unstructured":"Holzmann, G., Peled, D.: Partial order reduction of the state space. In: First SPIN Workshop, Montr\u00e8al, Quebec (1995)"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"Kurb\u00e1n, M.E., Niebert, P., Qu, H., Vogler, W.: Stronger reduction criteria for local first search. Technical report (2006) (submitted to ICTAC 2006)","DOI":"10.1007\/11921240_8"},{"issue":"1","key":"37_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.tcs.2005.07.023","volume":"345","author":"D. Lugiez","year":"2005","unstructured":"Lugiez, D., Niebert, P., Zennou, S.: A partial order semantics approach to the clock explosion problem of timed automata. Theoretical Computer Science\u00a0345(1), 27\u201359 (2005)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"37_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K.L. McMillan","year":"1995","unstructured":"McMillan, K.L.: A technique of state space search based on unfolding. Form. Methods Syst. Des.\u00a06(1), 45\u201365 (1995)","journal-title":"Form. Methods Syst. Des."},{"key":"37_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/3-540-44685-0_27","volume-title":"CONCUR 2001 - Concurrency Theory","author":"P. Niebert","year":"2001","unstructured":"Niebert, P., Huhn, M., Zennou, S., Lugiez, D.: Local first search: a new paradigm\u00a0in partial order reductions. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 396\u2013410. Springer, Heidelberg (2001)"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"Niebert, P., Qu, H.: Adding invariants to event zone automata. Technical report (2006) (submitted to FORMATS 2006)","DOI":"10.1007\/11867340_21"},{"issue":"4","key":"37_CR16","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"R.J. Parikh","year":"1966","unstructured":"Parikh, R.J.: On context-free languages. Journal of the ACM\u00a013(4), 570\u2013581 (1966)","journal-title":"Journal of the ACM"},{"key":"37_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-56922-7_34","volume-title":"Computer Aided Verification","author":"D. Peled","year":"1993","unstructured":"Peled, D.: All from one, one for all: on model checking using representatives. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 409\u2013423. Springer, Heidelberg (1993)"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Penczek, W., Kuiper, R.: Traces and logic. In: Diekert and Rozemberg, cite[4]","DOI":"10.1142\/9789814261456_0010"},{"key":"37_CR19","doi-asserted-by":"crossref","unstructured":"Valmari, A.: Stubborn sets for reduced state space generation. In: Applications and Theory of Petri Nets, pp. 491\u2013515 (1989)","DOI":"10.1007\/3-540-53863-1_36"},{"key":"37_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets 1986, Part II","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901914_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:56:16Z","timestamp":1605642976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901914_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540472377","9783540472384"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11901914_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}