{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:44Z","timestamp":1725564884746},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_18","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"312-330","source":"Crossref","is-referenced-by-count":0,"title":["Covering Fairness against Conspiracies"],"prefix":"10.1007","author":[{"given":"Edward","family":"Ochma\u0144ski","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0020-0190(84)90114-5","volume":"18","author":"E. Best","year":"1984","unstructured":"Best, E.: Fairness and Conspiracies. Information Processing Letters\u00a018, 215\u2013220 (1984); Erratum: IPL\u00a019, 162 (1984)","journal-title":"Information Processing Letters"},{"key":"18_CR2","unstructured":"Carstensen, H.: Fairness bei nebenl\u00e4ufigen Systemen, eine Untersuchung am Modell der Petrinetze. Bericht des FB Informatik, Univ. Hamburg (1986)"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/BFb0039622","volume-title":"STACS 87","author":"H. Carstensen","year":"1987","unstructured":"Carstensen, H.: Decidability Questions for Fairness in Petri Nets. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol.\u00a0247, pp. 396\u2013407. Springer, Heidelberg (1987)"},{"key":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/3-540-65306-6_15","volume-title":"Lectures on Petri Nets I: Basic Models","author":"J. Desel","year":"1998","unstructured":"Desel, J., Reisig, W.: Place\/Transition Petri Nets. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 122\u2013173. Springer, Heidelberg (1998)"},{"key":"18_CR5","first-page":"245","volume":"52","author":"J. Esparza","year":"1994","unstructured":"Esparza, J., Nielsen, M.: Decidability Issues for Petri Nets. EATCS Bulletin\u00a052, 245\u2013262 (1994)","journal-title":"EATCS Bulletin"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0020-0190(99)00074-5","volume":"70","author":"E. Kindler","year":"1999","unstructured":"Kindler, E., van der Aalst, W.: Liveness, Fairness and Recurrence in Petri Nets. Information Processing Letters\u00a070, 269\u2013274 (1999)","journal-title":"Information Processing Letters"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/3-540-10843-2_22","volume-title":"Automata, Languages and Programming","author":"D. Lehman","year":"1981","unstructured":"Lehman, D., Pnueli, A., Stavi, J.: Impartiality, Justice and Fairness: the Ethics of Concurrent Termination. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 264\u2013277. Springer, Heidelberg (1981)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-18086-9_26","volume-title":"Advances in Petri Nets 1987","author":"A. Merceron","year":"1987","unstructured":"Merceron, A.: In: Rozenberg, G. (ed.) APN 1987. LNCS, vol.\u00a0266, pp. 181\u2013195. Springer, Heidelberg (1987)"},{"key":"18_CR9","unstructured":"Ochma\u0144ski, E.: Best Fairness Hierarchy in Elementary Nets. In: Proc. of CS&P 2003 Workshop, pp. 382\u2013396. Warsaw University (2003)"},{"key":"18_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume-title":"Lectures on Petri Nets I: Basic Models","author":"G. Rozenberg","year":"1998","unstructured":"Rozenberg, G., Engelfriet, J.: Elementary Net Systems. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 12\u2013121. Springer, Heidelberg (1998)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/BF00289715","volume":"21","author":"R. Valk","year":"1985","unstructured":"Valk, R., Jantzen, M.: The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. Acta Informatica\u00a021, 643\u2013674 (1985)","journal-title":"Acta Informatica"},{"key":"18_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/978-3-540-47919-2_14","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"R. Valk","year":"1987","unstructured":"Valk, R.: Infinite Behaviour and Fairness. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 377\u2013396. Springer, Heidelberg (1987)"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/0304-3975(91)90228-T","volume":"82","author":"R. Howell","year":"1991","unstructured":"Howell, R., Rosier, L., Yen, H.: A taxonomy of fairness and temporal logic problems for Petri nets. Theoretical Computer Science\u00a082, 341\u2013372 (1991)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:40Z","timestamp":1620012340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}