E-Timed Workflow Nets

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006

Volumn , Issue , 2006, Pages 423-429

  Ţiplea, Ferucio Laurenţiu ^a   Macovei, Geanina Ionela ^b  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b Ia i County Council   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY;

BOUNDEDNESS; LIVENESS; TIMED PETRI NET; WORKFLOW NETS; ZERO TEST;

PETRI NETS;

EID: 46449131758     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYNASC.2006.33     Document Type: Conference Paper

References (13)

1. V.M.P. Aalst, Structural Characterization of Sound Workflow Nets, Computer Science Technical Report 96/23, Eindhoven University of Technology, 1996.
2. V.M.P. Aalst, The Application of Petri Nets to Workflow Management, Journal of Circuits, Systems, and Computers, 8(1), 21-66, 1998.
3. T. Araki, T. Kasami, Some Decision Problems Related to the Reachability Problem for Petri Nets, Theoretical Computer Science 3, 1977, 85-104.
4. Y. Du, C. Jiang, Towards a Workflow Model of Realtime Cooperative Systems, J.S. Dong and J. Woodcock (eds.), ICFEM 2003, LNCS 2885, 452-470, 2003.
5. L. Jenner, Further Studies on Timed Testing of Con-current Systems, Technical Report 1998-4, Institute für Mathematik, Universität Augsburg, 1998.
6. L. Jenner, W. Vogler, Fast Asynchronous Systems in Dense Time, Tech. Rep. 344, Institute für Mathematik, Universität Augsburg, 1995.
7. S. Ling, H. Schmidt, Time Petri Nets for Workflow Modeling and Analysis, in Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, vol. 4, 3039-3044, 2000.
8. J.Q. Li, Y.S. Fan, M.C. Zhou, Timing Constraint Workflow Nets for Workflow Analysis, IEEE Transactions on Systems, Man, and Cybernetics, part A: Systems and Humans, vol. 33, no. 2, 2003.
9. J.Q. Li, Y.S. Fan, M.C. Zhou, Performance Modeling and Analysis of Workflow, IEEE Transactions on Systems, Man and Cybernetics, part A: Systems and Humans, vol. 34, no. 2, 2004.
10. W. Reisig, Petri Nets. An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
11. F.L. Tiplea, C. Bǎdǎrǎu, A Note for Decidability of Reachability for Conditional Petri Nets, Axta Cybernetica 14,455-459, 2000.
12. F.L. Ţiplea, G.I.Macovei, Timed Workflow Nets, Proceedings of Sevents International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC 2005, IEEE Computer Society, 361-366, 2005.
13. WFMC, Workflow Management Coalition Terminology and Glosary (WFMC-TC-1011), Technical Report, The Workflow Management Coalition, Brussels, 1999.