{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:18:10Z","timestamp":1762521490765},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,3,25]],"date-time":"2012-03-25T00:00:00Z","timestamp":1332633600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10626-012-0133-3","type":"journal-article","created":{"date-parts":[[2012,3,24]],"date-time":"2012-03-24T08:45:58Z","timestamp":1332578758000},"page":"451-477","source":"Crossref","is-referenced-by-count":11,"title":["Conflict-preserving abstraction of discrete event systems using annotated automata"],"prefix":"10.1007","volume":"22","author":[{"given":"Simon","family":"Ware","sequence":"first","affiliation":[]},{"given":"Robi","family":"Malik","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,3,25]]},"reference":[{"key":"133_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5kesson K, Fabian M, Flordal H, Malik R (2006) Supremica\u2014an integrated environment for verification, synthesis and simulation of discrete event systems. In: Proc. 8th int. workshop on discrete event systems, WODES\u201906, Ann Arbor, MI, pp\u00a0384\u2013385","DOI":"10.1109\/WODES.2006.382401"},{"key":"133_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Norwell"},{"key":"133_CR3","volume-title":"Model checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke Jr EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge"},{"issue":"1\u20132","key":"133_CR4","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola De","year":"1984","unstructured":"De\u00a0Nicola R, Hennessy MCB (1984) Testing equivalences for processes. Theor Comput Sci 34(1\u20132):83\u2013133. doi: 10.1016\/0304-3975(84)90113-0","journal-title":"Theor Comput Sci"},{"issue":"4","key":"133_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF01933173","volume":"31","author":"J Eloranta","year":"1991","unstructured":"Eloranta J (1991) Minimizing the number of transitions with respect to observation equivalence. BIT 31(4):397\u2013419","journal-title":"BIT"},{"issue":"6","key":"133_CR6","doi-asserted-by":"crossref","first-page":"1449","DOI":"10.1109\/TAC.2008.927679","volume":"53","author":"L Feng","year":"2008","unstructured":"Feng L, Wonham WM (2008) Supervisory control architecture for discrete-event systems. IEEE Trans Automat Contr 53(6):1449\u20131461","journal-title":"IEEE Trans Automat Contr"},{"key":"133_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","volume":"13","author":"JC Fernandez","year":"1990","unstructured":"Fernandez JC (1990) An implementation of an efficient algorithm for bisimulation equivalence. Sci Comput Program 13:219\u2013236","journal-title":"Sci Comput Program"},{"key":"133_CR8","doi-asserted-by":"crossref","unstructured":"Flordal H, Malik R (2006) Modular nonblocking verification using conflict equivalence. In: Proc. 8th int. workshop on discrete event systems, WODES\u201906, Ann Arbor, MI, pp\u00a0100\u2013106","DOI":"10.1109\/WODES.2006.1678415"},{"issue":"3","key":"133_CR9","doi-asserted-by":"crossref","first-page":"1914","DOI":"10.1137\/070695526","volume":"48","author":"H Flordal","year":"2009","unstructured":"Flordal H, Malik R (2009) Compositional verification in supervisory control. SIAM J Control Optim 48(3):1914\u20131938. doi: 10.1137\/070695526","journal-title":"SIAM J Control Optim"},{"key":"133_CR10","volume-title":"Communicating sequential processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs"},{"key":"133_CR11","doi-asserted-by":"crossref","unstructured":"Kumar R, Shayman MA (1994) Non-blocking supervisory control of nondeterministic discrete event systems. In: Proc. American control conf, Baltimore, MD, pp\u00a01089\u20131093","DOI":"10.1109\/ACC.1994.751915"},{"issue":"4","key":"133_CR12","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1142\/S012905410600411X","volume":"17","author":"R Malik","year":"2006","unstructured":"Malik R, Streader D, Reeves S (2006) Conflicts and fair testing. Int J Found Comput Sci 17(4):797\u2013813","journal-title":"Int J Found Comput Sci"},{"key":"133_CR13","series-title":"Series in computer science","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Series in computer science. Prentice-Hall, Englewood Cliffs"},{"key":"133_CR14","unstructured":"Nuutila E (1995) Efficient transitive closure compuation in large digraphs. PhD thesis, Laboratory of Information Processing Science, Helsinki University of Technology, Finland"},{"issue":"1","key":"133_CR15","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"ER Olderog","year":"1986","unstructured":"Olderog ER, Hoare CAR (1986) Specification-oriented semantics for communicating processes. Acta Inform 23(1):9\u201366","journal-title":"Acta Inform"},{"issue":"12","key":"133_CR16","doi-asserted-by":"crossref","first-page":"2803","DOI":"10.1109\/TAC.2009.2031730","volume":"54","author":"PN Pena","year":"2009","unstructured":"Pena PN, Cury JER, Lafortune S (2009) Verification of nonconflict of supervisors using abstractions. IEEE Trans Automat Contr 54(12):2803\u20132815","journal-title":"IEEE Trans Automat Contr"},{"issue":"1","key":"133_CR17","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJG Ramadge","year":"1989","unstructured":"Ramadge PJG, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77(1):81\u201398","journal-title":"Proc IEEE"},{"issue":"2","key":"133_CR18","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.ic.2006.06.002","volume":"205","author":"A Rensink","year":"2007","unstructured":"Rensink A, Vogler W (2007) Fair testing. Inf Comput 205(2):125\u2013198. doi: 10.1016\/j.ic.2006.06.002","journal-title":"Inf Comput"},{"issue":"6","key":"133_CR19","doi-asserted-by":"crossref","first-page":"968","DOI":"10.1016\/j.automatica.2010.02.025","volume":"46","author":"R Su","year":"2010","unstructured":"Su R, van Schuppen JH, Rooda JE, Hofkamp AT (2010) Nonconflict check by using sequential automaton abstractions based on weak observation equivalence. Automatica 46(6):968\u2013978. doi: 10.1016\/j.automatica.2010.02.025","journal-title":"Automatica"},{"key":"133_CR20","doi-asserted-by":"crossref","unstructured":"Ware S, Malik R (2010) Compositional nonblocking verification using annotated automata. In: Proc. 10th int. workshop on discrete event systems, WODES\u201910, Berlin, Germany, pp\u00a0374\u2013379","DOI":"10.3182\/20100830-3-DE-4013.00060"},{"key":"133_CR21","doi-asserted-by":"crossref","unstructured":"Ware S, Malik R (2011) A state-based characterisation of the conflict preorder. In: Proc. 10th int. workshop on the foundations of coordination languages and software architectures, FOCLASA 2011, Aachen, Germany, pp\u00a034\u201348. doi: 10.4204\/EPTCS.58.3","DOI":"10.4204\/EPTCS.58.3"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0133-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-012-0133-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-012-0133-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,26]],"date-time":"2019-06-26T01:28:29Z","timestamp":1561512509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-012-0133-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,25]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["133"],"URL":"https:\/\/doi.org\/10.1007\/s10626-012-0133-3","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,25]]}}}