Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources-Reference-Cited by-同舟云学术

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

Published:2008-04 Issue:4 Volume:16 Page:462-482
ISSN:1569-190X
Container-title:Simulation Modelling Practice and Theory
language:en
Short-container-title:Simulation Modelling Practice and Theory

Author:

Julia Stéphane,de Oliveira Fernanda Francielle,Valette Robert

Publisher

Elsevier BV

Subject

Hardware and Architecture,Modeling and Simulation,Software

Reference29 articles.

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. Workflow Management: Models, Methods, and Systems;van der Aalst,2002

3. A New UML Profile for Real-Time System Formal Design and Validation, Lecture Notes in Computer Science 2185;Apvrille,2001

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.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Resource Planning in Workflow Nets Based on a Symbolic Time Constraint Propagation Mechanism;Enterprise Information Systems;2023

2. Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets;2022 IEEE 34th International Conference on Tools with Artificial Intelligence (ICTAI);2022-10

3. Simulation and Improvement of Patients’ Workflow in Heart Clinics during COVID-19 Pandemic Using Timed Coloured Petri Nets;International Journal of Environmental Research and Public Health;2020-11-19

4. Task Preemption Based on Petri Nets;IEEE Access;2020

5. Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems;Proceedings of the 19th International Conference on Enterprise Information Systems;2017