Critical paths in the partial order unfolding of a stochastic petri net

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5813 LNCS, Issue , 2009, Pages 43-57

  Bouillard, Anne ^a   Haar, Stefan ^a   Rosario, Sidney ^b  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICALITY (NUCLEAR FISSION); PETRI NETS; STOCHASTIC SYSTEMS; TIME SHARING SYSTEMS;

COMPOUND PROCESS; CRITICAL PATHS; INDIVIDUAL COMPONENTS; OCCURRENCE NET; PARTIAL ORDER; REAL-TIME PROCESS; STOCHASTIC PETRI NETS; WORKFLOW NETS;

RANDOM ACCESS STORAGE;

EID: 70350434145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04368-0_6     Document Type: Conference Paper

References (20)

1. van der Aalst, W.M.P.: The application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
2. van der Aalst, W.M.P.: Verification of Workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
3. Abbes, S., Benveniste, A.: True-concurrency probabilistic models: Markov nets and a law of large numbers. Theor. Comput. Sci. 390(2-3), 129-170 (2008)
4. Abbes, S., Benveniste, A.: Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures. Information and Computation 204(2), 231-274 (2006)
5. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modeling with Generalized Stochastic Petri Nets. Parallel Computing Series. Wiley, Chichester (1995)
6. Benveniste, A., Fabre, E., Haar, S.: Markov Nets: Probabilistic Models for distributed and concurrent systems. IEEE Trans. Aut. Control 48(11), 1936-1950 (2003)
7. Bouillard, A., Haar, S., Rosario, S.: Critical paths in the Partial Order Unfolding of a Stochastic Petri Net. INRIA Research report (August 2009)
8. Bouillard, A., Rosario, S., Benveniste, A., Haar, S.: Monotonicity in Service Orchestrations. Petri Nets (2009), http://petrinets2009.lip6.fr/
9. Engelfriet, J.: Branching Processes of Petri Nets. Acta Informatica 28, 575-591 (1991)
10. Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan's unfolding algorithm. Formal Methods in System Design 20(3), 285-310 (2002)
11. Haas, P.: Stochastic Petri Nets. Modelling, Stability, Simulation. Springer Series in Operations Research, Berlin (2002)
12. Katoen, J.-P., Baier, C., Latella, D.: Metric semantics for true concurrent real time. Theoretical Computer Science 254, 501-542 (2001)
13. Mairesse, J., Gaubert, S.: Modeling and Analysis of Timed Petri Nets using Heaps of Pieces. IEEE Trans. Autom. Control 44(4), 683-697 (1999)
14. 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-174 (1992)
15. Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures, and domains, Part I. TCS 13, 85-108 (1981)
16. 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. 2031, pp. 220-235. Springer, Heidelberg (2001)
17. Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic QoS and soft contracts for transaction basedWeb services. In: Proceedings ICWS 2007, pp. 126-133 (2007)
18. 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. 4937, pp. 154-168. Springer, Heidelberg (2008); long version as INRIA Research Report Nr 6221
19. Tucker, H.G.: An Introduction to probability and mathematical statistics. Academic Press, London (1962)
20. Varacca, D., Völzer, H., Winskel, G.: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3), 173-199 (2006)