{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:57Z","timestamp":1725484317154},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439134"},{"type":"electronic","value":"9783540456056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45605-8_7","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T22:15:19Z","timestamp":1179267319000},"page":"95-114","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Unfoldings and Partial Order Fairness in Petri Nets"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"7_CR1","unstructured":"M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. Wiley, 1995."},{"key":"7_CR2","unstructured":"M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Generalized Stochastic Petri Nets Revisited: Random Switches and Priorities. In: Proceedings of PNPM\u201987, IEEE-CS Press, pp. 44\u201353."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1008241818642","volume":"8","author":"A. Aghasaryan","year":"1998","unstructured":"A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. Fault detection and diagnosis in distributed systems: An approach by partially stochastic petri nets. Discrete event dynamic systems 8:203\u2013231, 1998.","journal-title":"Discrete event dynamic systems"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"L. de Alfaro. From Fairness to Chance. In: Electronic Notes on Theoretical Computer Science 22, Elsevier, 2000.","DOI":"10.1016\/S1571-0661(05)80597-3"},{"key":"7_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/BFb0055639","volume-title":"CONCUR\u201998","author":"L. Alfaro de","year":"1998","unstructured":"L. de Alfaro. Stochastic Transition Systems. In: CONCUR\u201998, LNCS 1466:423\u2013438, Springer-Verlag, 1998."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01872848","volume":"2","author":"K.R. Apt","year":"1988","unstructured":"K.R. Apt, N. Francez, and S. Katz. Appraising fairness in languages for distributed programming. Distributed Computing 2:226\u2013241, 1988.","journal-title":"Distributed Computing"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF02242712","volume":"6","author":"K.R. Attie","year":"1993","unstructured":"K.R. Attie, N. Francez, and O. Grumberg. Fairness and hyperfairness in multi-parti interactions. Distributed Computing 6:245\u2013254, 1993.","journal-title":"Distributed Computing"},{"key":"7_CR8","unstructured":"A. Benveniste, S. Haar, and E. Fabre. Markov Nets: probabilistic Models for Distributed and Concurrent Systems. INRIA Report 4235, 2001."},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0020-0190(84)90114-5","volume":"18","author":"E. Best","year":"1984","unstructured":"E. Best. Fairness and Conspiracies. Information Processing Letters 18(4):215\u2013220, 1984. Erratum ibidem 19:162.","journal-title":"Information Processing Letters"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"K. L. Chung. A Course in Probability Theory. Academic Press, 1974.","DOI":"10.1007\/978-1-4757-3973-2_2"},{"key":"7_CR11","unstructured":"C. Derman. Finite State Markovian Decision Processes. Acad. Press, 1970."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets. Camb. Univ. Press, 1995.","DOI":"10.1017\/CBO9780511526558"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1137\/1113026","volume":"13","author":"R. Dobrushin","year":"1968","unstructured":"R. Dobrushin. The description of a random field by means of conditional probabilities and conditions of its regularity. Th. Prob. Appl. 13:197\u2013224, 1968.","journal-title":"Th. Prob. Appl."},{"issue":"4","key":"7_CR14","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/71.588622","volume":"8","author":"S. Dolev","year":"1997","unstructured":"S. Dolev, A. Israeli, and S. Moran. Analyzing expected time by scheduler-luck games. IEEE Trans on Par. and Dist. Systems, 8(4):424\u2013440, 1997.","journal-title":"IEEE Trans on Par. and Dist. Systems"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet. Branching Processes of Petri Nets. Acta Inf. 28:575\u2013591, 1991.","journal-title":"Acta Inf."},{"key":"7_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61042-1_40","volume-title":"TACAS\u201996","author":"J. Esparza","year":"1996","unstructured":"J. Esparza, S. R\u00f6mer, and W. Vogler. An Improvement of McMillan\u2019s Unfolding Algorithm. In: TACAS\u201996, LNCS 1055:87\u2013106, Springer 1996. Extended version to appear in Formal Methods in System Design."},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0167-6423(94)00019-0","volume":"23","author":"J. Esparza","year":"1994","unstructured":"J. Esparza. Model Checking Using Net Unfoldings. Science of Computer Programming 23:151\u2013195, 1994.","journal-title":"Science of Computer Programming"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"N. Francez. Fairness. Springer, 1986.","DOI":"10.1007\/978-1-4612-4886-6"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"S. Haar. Branching Processes of general S\/T-Systems. Electronic Notes in Theoretical Computer Science 18, 1998.","DOI":"10.1016\/S1571-0661(05)80250-6"},{"key":"7_CR20","doi-asserted-by":"crossref","first-page":"105","DOI":"10.3233\/FI-2000-43123406","volume":"43","author":"S. Haar","year":"2000","unstructured":"S. Haar. Occurrence Net Logics. Fund. Informaticae 43:105\u2013127, 2000.","journal-title":"Fund. Informaticae"},{"issue":"3-4","key":"7_CR21","first-page":"259","volume":"47","author":"S. Haar","year":"2001","unstructured":"S. Haar. Clusters, confusion and unfoldings. Fund.Informaticae 47(3-4):259\u2013270, 2001.","journal-title":"Fund.Informaticae"},{"key":"7_CR22","unstructured":"S. Haar. Probabilistic Cluster Unfoldings for Petri Nets. INRIA Research Report 4426, 2002; http:\/\/www.inria.fr\/rrrt\/rr-4426.html ; ftp:\/\/ftp.inria.fr\/INRIA\/publication\/RR\/RR-4426.ps.gz"},{"key":"7_CR23","unstructured":"M. Jaeger. Fairness, Computable Fairness and Randomness. PROBMIV\u201999, Tech. Report CSR-99-8, School of CS, Univ. of Birmingham 1999."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"R. Kindermann and J. L. Snell. Markov Random Fields and their Applications. AMS Contemporary Mathematics Vol. 1, Providence 1980.","DOI":"10.1090\/conm\/001"},{"key":"7_CR25","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF01887206","volume":"1","author":"M. Kwiatkowska","year":"1989","unstructured":"M. Kwiatkowska. Event fairness and non-interleaving concurrency. Formal Aspects of Computing 1:213\u2013228, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"K. McMillan. Using Unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. 4th CAV, pp. 164\u2013174, 1992.","DOI":"10.1007\/3-540-56496-9_14"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures, and domains. Part I. Theoretical Computer Science 13:85\u2013108, 1981.","journal-title":"Theoretical Computer Science"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","volume":"6","author":"M.O. Rabin","year":"1963","unstructured":"M.O. Rabin. Probabilistic Automata. Inf. and Control 6:230\u2013245, 1963.","journal-title":"Inf. and Control"},{"key":"7_CR29","series-title":"Lect Notes Comput Sci","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":"G. Rozenberg and J. Engelfriet. Elementary Net Systems. In: Lectures on Petri Nets I: Basic Models. LNCS 1491, pp. 12\u2013121, Springer, 1998."},{"key":"7_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-44667-2_6","volume-title":"Verification of Randomized Distributed Algorithms","author":"R. Segala","year":"2001","unstructured":"R. Segala. Verification of Randomized Distributed Algorithms. In: LNCS 2090:232\u2013260, Springer 2001."},{"key":"7_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44685-0_13","volume-title":"Proc. CONCUR 2001","author":"H. V\u00f6lzer","year":"2001","unstructured":"H. V\u00f6lzer. Randomized non-sequential processes. In: Proc. CONCUR 2001. LNCS 2154, Springer, August 2001."},{"issue":"1","key":"7_CR32","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0020-0190(95)00049-I","volume":"55","author":"W. Vogler","year":"1995","unstructured":"W. Vogler. Fairness and Partial Order Semantics. Inf. Proc. Letters 55(1): 33\u201339, 1995.","journal-title":"Inf. Proc. Letters"}],"container-title":["Lecture Notes in Computer Science","Process Algebra and Probabilistic Methods: Performance Modeling and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45605-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,21]],"date-time":"2020-04-21T21:26:36Z","timestamp":1587504396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45605-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439134","9783540456056"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-45605-8_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}