{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:27Z","timestamp":1725663507468},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180869"},{"type":"electronic","value":"9783540477433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18086-9_26","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:25:12Z","timestamp":1330197912000},"page":"181-195","source":"Crossref","is-referenced-by-count":3,"title":["Fair processes"],"prefix":"10.1007","author":[{"given":"Agathe","family":"Merceron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0020-0190(84)90114-5","volume":"18","author":"E. Best","year":"1984","unstructured":"E. Best Fairness and Conspiracies. IPL Vol.18 pp.215\u2013220 (1984)","journal-title":"IPL"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"E. Best and R. Devillier Sequential and Concurrent Behaviour in Petri Net Theory. To appear in Theoretical Computer Science (1987)","DOI":"10.1016\/0304-3975(87)90090-9"},{"key":"10_CR3","unstructured":"E. Best and C. Fern\u00e1ndez Notations and Terminology on Petri Nets. Arbeitspapier der GMD 195, GMD, Postfach 1240, D-5205 St Augustin 1, also Petri Net Newsletter 23 (1986)"},{"key":"10_CR4","first-page":"48","volume":"188","author":"E. Best","year":"1985","unstructured":"E. Best and A. Merceron Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process properties. LNCS Vol.188 pp.48\u201361 (1985)","journal-title":"LNCS"},{"key":"10_CR5","unstructured":"H. Carstensen Fairness Criteria that Guarantee Infinite Firing of Transitions. IFI-HH-M-109\/83 Universitaet Hamburg (1983)"},{"key":"10_CR6","first-page":"83","volume":"188","author":"H. Carstensen","year":"1985","unstructured":"H. Carstensen and R. Valk Infinite Behaviours and Fairness in Petri Nets. LNCS Vol.188 pp.83\u2013100 (1985)","journal-title":"LNCS"},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"F. Commoner, A.W. Holt, S. Even and A. Pnueli Marked directed graphs. Journal of Computer and System Sciences 5, pp.511\u2013523 (1971)","journal-title":"Journal of Computer and System Sciences"},{"key":"10_CR8","first-page":"139","volume":"188","author":"C. Fern\u00e1ndez","year":"1985","unstructured":"C. Fern\u00e1ndez and P.S. Thiagarajan A Lattice Theoretic View of K-density. LNCS Vol. 188 pp.139\u2013163 (1985)","journal-title":"LNCS"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H.J. Genrich","year":"1973","unstructured":"H.J. Genrich and K. Lautenbach Synchronisationsgraphen. Acta Informatica 2, pp.143\u2013161 (1973)","journal-title":"Acta Informatica"},{"issue":"2\u20133","key":"10_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig The Non-Sequential Behaviours of Petri Nets. Information and Control Vol.57 Nos 2\u20133 pp.125\u2013147 (1983)","journal-title":"Information and Control"},{"issue":"2","key":"10_CR11","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0016-0032(85)90028-6","volume":"320","author":"T. Murata","year":"1985","unstructured":"T. Murata and Z.H. Wu Fair Relation and Modified Synchronic Distances in a Petri Net. Journal of the Franklin Institute Vol. 320 No.2 pp.63\u201382 (1985)","journal-title":"Journal of the Franklin Institute"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"J.P. Queille and J. Sifakis Fairness ane Related Properties in Transitions Systems A Time Logic to Deal with Fairness. R.R. 292 CNRS Universit\u00e9 Scientifique et M\u00e9dicale de Grenoble (1982)","DOI":"10.1007\/BF00265555"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"W. Reisig On the semantics of Petri Nets. In: Formal Models in Programming Ed: E.J. Neuhold and G. Chroust North Holland pp.347\u2013372 (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"10_CR14","unstructured":"W. Reisig A Strong Part of Concurrency. In this volume."},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(83)90115-9","volume":"25","author":"R. Valk","year":"1983","unstructured":"R. Valk Infinite Behaviour of Petri Nets. Theoretical Computer Science Vol.25 pp.311\u2013341 (1983)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1987"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18086-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:02:59Z","timestamp":1640916179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18086-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180869","9783540477433"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-18086-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}