Analysis of large workflow models

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2002, Pages 510-515

  Zerguini, Loucif ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Reductional method; Stochastic Petri nets; System analysis; Workflow Management

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; RANDOM PROCESSES; RESPONSE TIME (COMPUTER SYSTEMS);

WORKFLOW MANAGEMENT;

PETRI NETS;

EID: 0038344795     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. W.M.P. van der Aalst, The application of Petri nets to workflow management The Journal of Circuits, Systems and Computers, vol.8, pp. 21-66, 1998.
2. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and systems. MIT Press, Cambridge, 2002.
3. W.M.P. van der Aalst and K.M. van Hee and H.A. Reijers. Analysis of Discrete-time Stochastic Petri nets. Statistica Neerlandica, vol. 54, pp. 237-255, 2000.
4. A. Bobbio, A. Puliafito and M. Telek. A modelling framework to implement preemption policies in Non-Markovian SPNs IEEE Transactions on Software Engineering, vol. 26, pp. 36-54, 2000.
5. E. Cinlar. Introduction to Stochastic Processes, North western University, Prentice-Hall, Inc.,Englewood Cliffs, New Jersey, 1975.
6. J. Bechta Dugan, K. S. Trivedi, R. Geist, and V.F. Nicola. Extended stochastic Petri nets: applications and analysis. Proc. Performance, pp. 507-519, Paris 1984.
7. M. Hammer and J. Champy. Reengineering the cooperation. Nicolas Brealey Publishing, London 1993.
8. G. Latouche and V.Ramswami., Introduction to matrix analytic methods in stochastic modelling. Philadelphia: SIAM 1999.
9. M. A, Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte and A.Cumani, "The effect of execution policies on the semantics and analysis of stochastic Petri nets" IEEE Transactions on Software engineering, vol. 15, pp. 832-846, 1989.
10. T. Murata, Petri Nets: Properties, Analysis and applications. Proc. IEEE, vol.77, pp. 541-580, April 1989.
11. I. Suzuki and T. Murata, "A method for stepwise refinements and abstractions of Petri nets," J. comput. Syst. Sci., vol. 27, no.1, pp. 51-76, 1983.
12. K. S. Trivedi, Probability and Statistics with reliability, Queueing and Computer Science Applications, John Wiley and Sons, INC. 2002
13. R. Valette, "Analysis of Petri nets by stepwise refinements," J.comput. syst Sci., vol. 18, pp. 35-46, 1979.
14. L. Zerguini, Approximate computation of response time distribution in workflows. Proc. High Performance Computing Symposium (HPC'02), San Diego, CA, pp. 280-287, April 2002.