{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:30Z","timestamp":1762458570164},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437871"},{"type":"electronic","value":"9783540480686"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48068-4_20","type":"book-chapter","created":{"date-parts":[[2007,6,18]],"date-time":"2007-06-18T11:01:43Z","timestamp":1182164503000},"page":"335-351","source":"Crossref","is-referenced-by-count":9,"title":["Regular Event Structures and Finite Petri Nets: The Conflict-Free Case"],"prefix":"10.1007","author":[{"given":"Mogens","family":"Nielsen","sequence":"first","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,6]]},"reference":[{"key":"20_CR1","first-page":"184","volume":"41","author":"R. Assous","year":"1990","unstructured":"R. Assous and C. Charetton: Nice Labeling of Event Structures, Bulletin of the EATCS vol. 41, (1990) 184\u2013190.","journal-title":"Bulletin of the EATCS"},{"key":"20_CR2","doi-asserted-by":"crossref","DOI":"10.1142\/2563","volume-title":"The Book of Traces","author":"V. Diekert","year":"1995","unstructured":"V. Diekert and G. Rozenberg: The Book of Traces, World Scientific, Singapore (1995)."},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1996","unstructured":"J. Esparza: Model Checking Using Net Unfoldings, Science of Computer Programming 23 (1996) 151\u2013195.","journal-title":"Science of Computer Programming"},{"key":"20_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"Proc. of TACAS\u201996","author":"J. Esparza","year":"1996","unstructured":"J. Esparza, S. Roemer and W. Vogler: An Improvement of McMillan\u2019s Unfolding Algorithm, Proc. of TACAS\u201996, Springer LNCS 1055 (1996) 87\u2013106."},{"key":"20_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/3-540-63141-0_4","volume-title":"Proceedings of CONCUR\u201997","author":"J. G. Henriksen","year":"1997","unstructured":"J. G. Henriksen and P. S. Thiagarajan: A Product Version of Dynamic Linear Time Temporal Logic, Proceedings of CONCUR\u201997, Springer LNCS 1243 (1997) 45\u201358."},{"key":"20_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/3-540-46541-3_30","volume-title":"Proceedings of STACS 2000","author":"M. Jurdzinski","year":"2000","unstructured":"M. Jurdzinski and M. Nielsen: Hereditary History Preserving Bisimilarity is Undecidable, Proceedings of STACS 2000, Springer Lecture Notes in Computer Science 1770 (2000) 358\u2013369."},{"issue":"1","key":"20_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K. L. McMillan","year":"1995","unstructured":"K. L. McMillan: A Technique of a State Space Search Based on Unfolding, Formal Methods in System Design 6(1) (1995) 45\u201365.","journal-title":"Formal Methods in System Design"},{"key":"20_CR8","unstructured":"P. Madhusudan and P. S. Thiagarajan: Branching-time Controllers for Discrete Event Systems. To appear in a special issue of Theoretical Computer Science containing full versions of selected papers from CONCUR\u201998."},{"key":"20_CR9","first-page":"86","volume":"13","author":"M. Nielsen","year":"1980","unstructured":"M. Nielsen, G. Plotkin and G. Winskel: Petri nets, Event structures and Domains I, Theor. Comput. Sci. 13, (1980) 86\u2013108.","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"20_CR10","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1006\/inco.1995.1062","volume":"118","author":"M. Nielsen","year":"1995","unstructured":"M. Nielsen, G. Rozenberg and P. S. Thiagarajan: Transition Systems, Event Structures and Unfoldings, Information and Computation, 118(2), (1995) 191\u2013207.","journal-title":"Information and Computation"},{"key":"20_CR11","volume-title":"Technical Report, BRICS RS-96-32","author":"P. S. Thiagarajan","year":"1996","unstructured":"P. S. Thiagarajan: Regular Trace Event Structures, Technical Report, BRICS RS-96-32, Computer Science Department, Aarhus University, Aarhus, Denmark (1996)."},{"key":"20_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-45711-9_14","volume-title":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","author":"P. S. Thiagarajan","year":"2002","unstructured":"P. S. Thiagarajan: Regular Event Structures and Finite Petri Nets: A Conjecture, In: W. Brauer, H. Ehrig, J. Karhumaki, A. Salomma (Eds.) Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer LNCS 2300 (2002) 244\u2013253."},{"key":"20_CR13","first-page":"130","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"W. Thomas: Automata on infinite objects, In: J. van Leeuwen (ed.) Handbook of Theoretical Computer Science, Volume B, North-Holland, Amsterdam (1990) 130\u2013191."},{"key":"20_CR14","unstructured":"G. Winskel and M. Nielsen: Models for Concurrency, In: Handbook of Logic in Computer Science, Vol. IV, Eds.: S. Abramsky, D. Gabbay and T. S. E. Maibaum, Oxford University Press, (1995)."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48068-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T10:43:44Z","timestamp":1550400224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48068-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437871","9783540480686"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48068-4_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}