Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources

Simulation Modelling Practice and Theory

Volumn 16, Issue 4, 2008, Pages 462-482

  Julia, Stéphane ^a   de Oliveira, Fernanda Francielle ^a   Valette, Robert ^b  

^a FEDERAL UNIVERSITY OF UBERLÂNDIA   (Brazil)

^b LAAS CNRS   (France)

Author keywords

Class graph; p Time Petri net; Real time scheduling; UML; Workflow

Indexed keywords

CONSTRAINT THEORY; FINITE DIFFERENCE METHOD; REAL TIME SYSTEMS; RESOURCE ALLOCATION; UNIFIED MODELING LANGUAGE;

CLASS GRAPH; PETRI NET MODELS; REAL TIME SCHEDULING; WORKFLOW MANAGEMENT;

PETRI NETS;

EID: 41149155205     PISSN: 1569190X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.simpat.2008.01.006     Document Type: Article

References (29)

1. W.M.P. van der Aalst, K.M. van Hee, G.J. Houben, Modelling Workflow Management Systems with high-level Petri nets, in: Proceedings of the Second Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, 1994, pp. 31-50.
2. van der Aalst W., and van Hee K. Workflow Management: Models, Methods, and Systems (2002), The MIT Press Cambridge, Massachusetts, London, England
3. Apvrille L., and Saqui-Sannes P. A New UML Profile for Real-Time System Formal Design and Validation, Lecture Notes in Computer Science 2185 (2001), Springer, Verlag
4. F. Boutet, Contraintes et temps absolu dans les réseaux de Petri Application à l'ordonnancement de tâches à durées incertaines des systèmes temps-réel, Ph.D. thesis, INSA, Toulouse, France, 1999.
5. J. Cardoso, C. Sibertin-Blanc, Ordering actions in sequence diagrams of UML, in: 23 International Conference on Information Technology Interfaces, Croatia, 2001.
6. C. Covès, D. Crestani, F. Prunet, Design and Analysis of Workflow Processes with Petri nets, in: 1998 IEEE International Conference on Systems, Man, and Cybernetics, Proceedings of IEEESMC'1998, vol. 1, 1998, pp. 101-106.
7. David R., and Alla H. Discrete, Continuous, and Hybrid Petri Nets (2004), Springer
8. H. Eshuis, Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. thesis, University of Twente, Enschede, The Netherlands, 2002.
9. Esquirol P., Huguet M.J., and Lopez P. Modelling and managing disjunctions in scheduling problems. Journal of Intelligent Manufacturing 6 (1995) 133-144
10. Gondran M., and Minoux M. Graphs and Algorithms (1986), John Wiley, New York
11. Hillion H., and Proth J.M. Performance evaluation of job-shop systems using timed event-graphs. IEEE Transactions on Automatic Control 34 1 (1989) 3-9
12. P. Hruby, Specification of Workflow Management Systems with UML, in: Workshop on Implementation and Application of Object-oriented Workflow Management Systems, Proceedings of the 1998 OOPSLA, Vancouver, 1998.
13. Julia S., and Valette R. Real Time Scheduling of Batch Systems. Simulation Practice and Theory (2000), Elsevier Science pp. 307-319
14. Khansa W., Aygaline P., and Denat J.P. Structural Analysis of p-time Petri Nets Symposium on Discrete Events and Manufacturing Systems. Syposium on Events and Manufacturing Systems. CESA'96 IMACS Multiconference (1996), Lille, France
15. W. Khansa, Réseaux de Petri p-temporels: contribution à l'étude des systèmes à événements discrets, Ph.D. thesis, University of Savoie, France, 1997.
16. Y.T. Kotb, E. Badreddin, Synchronization among activities in a workflow using extended workflow Petri nets, in: Proceedings of the Seventh IEEE International Conference on E-Commerce Technology, Germany, 2005.
17. Lee D.Y., and DiCesare F. Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation 10 3 (1994) 123-132
18. Li J., Fan Y., and Zhou M. Timing constraint workflow nets for workflow analysis. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans 33 2 (2003)
19. S. Ling, H. Schmidt, Time Petri nets for workflow modelling and analysis, in: 2000 IEEE International Conference on Systems, Man, and Cybernetics, 2000, pp. 3039-3044.
20. M. Menasche, Analyse des Réseaux de Petri Temporisés et Aplication aux Systèmes Distribués. Thèse de Doctorat en Automatique, Université Paul Sabatier, Toulouse, France, 1982.
21. Murata T. Petri nets: properties, analysis and applications. Proceedings of the IEEE 77 4 (1989) 541-580
22. OMG, OMG Unified Modeling Language Specification version 1.3. Object Management Group, 1999.
23. Pressman R.S. Software Engineering: A Practioner's Approach. third ed. (1992), Mc-Graw Hill
24. Silva M., and Valette R. Petri nets and flexible manufacturing. In: Rozenberg G. (Ed). Advances in Petri Nets Lecture Notes in Computer Science (1989), Springer Verlag
25. G.B. Tramontina, J. Wainer, C. Ellis, Applying scheduling techniques to minimize the number of late jobs in workflow systems, in: 2004 ACM Symposium on Applied Computing, 2004, pp. 1397-1403.
26. Tsai J.J.P., Yang S.J., and Chang Y.H. Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications. IEEE Transaction on Software Engineering 21 1 (1995) 32-49
27. Valette R. Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences 18 1 (1979)
28. G. Vilallonga, D. Riesco, G. Montejano, R. Uzal, Petri Nets with Clocks for the Analitycal Validation of Business Process, Practicing Software Engineering in the 21st Century, 2003, pp. 11-25.
29. G. Wirtz, H. Giese, Using UML and Object-Coordination-Nets for Workflow Specification, in: 2000 IEEE International Conference on Systems, Man and Cybernetics. Proceedings of IEEESMC'2000, vol. 5, 2000, pp. 3159-3164.