A New Reduction Method for the Analysis of Large Workflow Models

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-21, Issue , 2002, Pages 188-201

  Zerguini, Loucif ^a   van Hee, Kees Max ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; STOCHASTIC MODELS;

% REDUCTIONS; BUSINESS PROCESS; COMPLETION-TIME DISTRIBUTION; DYNAMIC BEHAVIORS; NON-MARKOVIAN STOCHASTIC PETRI NETS; PETRI NET MODELS; POWER; REDUCTION METHOD; SUBNETS; WORKFLOW MODELS;

STOCHASTIC SYSTEMS;

EID: 85039769991     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

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. J. Abate and W. Whitt, The Fourier-series method for inverting transforms of probability distributions. Queueing Systems, vol. 10,pp. 5-88, 1992.
5. J. T. Bradley. A passage-time preserving equivalence for semi-Markov processes. Proc. Computer performance evaluation (Tools'02), London, UK, pp. 178-187, April 2002.
6. E.Cinlar. Introduction to Stochastic Processes, North western University, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1975.
7. J. B. Dugan, K. S. Trivedi, R. Geist, and V.F. Nicola. Extended stochastic Petri nets: applications and analysis. Proc. Performance, pp. 507-519, Paris 1984.
8. M. Hammer and J. Champy. Reengineering the Corporation. Nicolas Brealey Publishing, London 1993.
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. A. Puliafito, M. Scarpa and K. S. Trivedi, Petri nets with k simultaneously enabled generally distributed timed transitions. Performance Evaluation, vol. 32, pp. 1-34, 1998.
12. 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.
13. K. S. Trivedi, Probability and Statistics with Reliability, Queueing and Computer Science Applications, John Wiley and Sons, INC. 2002
14. R. Valette, Analysis of Petri nets by stepwise refinements. J.comput. syst. Sci., vol.18, pp.35-46, 1979.
15. 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.