{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:23:56Z","timestamp":1781893436188,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642043673","type":"print"},{"value":"9783642043680","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04368-0_6","type":"book-chapter","created":{"date-parts":[[2009,9,2]],"date-time":"2009-09-02T03:31:59Z","timestamp":1251862319000},"page":"43-57","source":"Crossref","is-referenced-by-count":3,"title":["Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net"],"prefix":"10.1007","author":[{"given":"Anne","family":"Bouillard","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sidney","family":"Rosario","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems and Computers"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"2-3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.tcs.2007.09.018","volume":"390","author":"S. Abbes","year":"2008","unstructured":"Abbes, S., Benveniste, A.: True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci.\u00a0390(2-3), 129\u2013170 (2008)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"6_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.ic.2005.10.001","volume":"204","author":"S. Abbes","year":"2006","unstructured":"Abbes, S., Benveniste, A.: Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures. Information and Computation\u00a0204(2), 231\u2013274 (2006)","journal-title":"Information and Computation"},{"key":"6_CR5","series-title":"Parallel Computing Series","volume-title":"Modeling with Generalized Stochastic Petri Nets","author":"M. Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. Parallel Computing Series. Wiley, Chichester (1995)"},{"issue":"11","key":"6_CR6","doi-asserted-by":"publisher","first-page":"1936","DOI":"10.1109\/TAC.2003.819076","volume":"48","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Haar, S.: Markov Nets: Probabilistic Models for distributed and concurrent systems. IEEE Trans. Aut. Control\u00a048(11), 1936\u20131950 (2003)","journal-title":"IEEE Trans. Aut. Control"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bouillard, A., Haar, S., Rosario, S.: Critical paths in the Partial Order Unfolding of a Stochastic Petri Net. INRIA Research report (August 2009)","DOI":"10.1007\/978-3-642-04368-0_6"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Bouillard, A., Rosario, S., Benveniste, A., Haar, S.: Monotonicity in Service Orchestrations. Petri Nets (2009), \n                  \n                    http:\/\/petrinets2009.lip6.fr\/","DOI":"10.1007\/978-3-642-02424-5_16"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet, J.: Branching Processes of Petri Nets. Acta Informatica\u00a028, 575\u2013591 (1991)","journal-title":"Acta Informatica"},{"issue":"3","key":"6_CR10","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J. Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods in System Design\u00a020(3), 285\u2013310 (2002)","journal-title":"Formal Methods in System Design"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Haas, P.: Stochastic Petri Nets. Modelling, Stability, Simulation. Springer Series in Operations Research, Berlin (2002)","DOI":"10.1007\/b97265"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1016\/S0304-3975(99)00342-4","volume":"254","author":"J.-P. Katoen","year":"2001","unstructured":"Katoen, J.-P., Baier, C., Latella, D.: Metric semantics for true concurrent real time. Theoretical Computer Science\u00a0254, 501\u2013542 (2001)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1109\/9.754807","volume":"44","author":"J. Mairesse","year":"1999","unstructured":"Mairesse, J., Gaubert, S.: Modeling and Analysis of Timed Petri Nets using Heaps of Pieces. IEEE Trans. Autom. Control\u00a044(4), 683\u2013697 (1999)","journal-title":"IEEE Trans. Autom. Control"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"McMillan, K.: Using Unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: 4th Workshop on Computer Aided Verification, pp. 164\u2013174 (1992)","DOI":"10.1007\/3-540-56496-9_14"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures, and domains, Part I. TCS\u00a013, 85\u2013108 (1981)","journal-title":"TCS"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/3-540-45319-9_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T.C. Ruys","year":"2001","unstructured":"Ruys, T.C., Langerak, R., Katoen, J.-P., Latella, D., Massink, M.: First passage time analysis of stochastic process algebra using partial orders. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 220\u2013235. Springer, Heidelberg (2001)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic QoS and soft contracts for transaction based Web services. In: Proceedings ICWS 2007, pp. 126\u2013133 (2007)","DOI":"10.1109\/ICWS.2007.144"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-79230-7_11","volume-title":"Web Services and Formal Methods","author":"S. Rosario","year":"2008","unstructured":"Rosario, S., Kitchin, D.E., Benveniste, A., Cook, W., Haar, S., Jard, C.: Event structure semantics of orc. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol.\u00a04937, pp. 154\u2013168. Springer, Heidelberg (2008); long version as INRIA Research Report Nr 6221"},{"key":"6_CR19","volume-title":"An Introduction to probability and mathematical statistics","author":"H.G. Tucker","year":"1962","unstructured":"Tucker, H.G.: An Introduction to probability and mathematical statistics. Academic Press, London (1962)"},{"issue":"2-3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.tcs.2006.01.015","volume":"358","author":"D. Varacca","year":"2006","unstructured":"Varacca, D., V\u00f6lzer, H., Winskel, G.: Probabilistic event structures and domains. Theor. Comput. Sci.\u00a0358(2-3), 173\u2013199 (2006)","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04368-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:30:26Z","timestamp":1558269026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04368-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642043673","9783642043680"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04368-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}