Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Modeling dynamic objects in distributed systems with nested Petri nets
Fundamenta Informaticae
Flexible Workflow Management in the OPENflow System
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
SYNASC '05 Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Semantic foundations for generalized rewrite theories
Theoretical Computer Science
Model Driven Distribution of Collaborative Business Processes
SCC '06 Proceedings of the IEEE International Conference on Services Computing
A more efficient time Petri net state space abstraction preserving linear properties
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Towards analysis of flexible and collaborative workflow using recursive ECATNets
BPM'07 Proceedings of the 2007 international conference on Business process management
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Modeling smart home using the paradigm of nets within nets
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
| Hi-index | 0.00 |
We present, in this paper, the Time Recursive ECATNets (T-RECATNets) formalism for the modelling and analysis of time-constrained reconfigurable workflows, which are preponderant in the field of Web services. In a second step, we propose a method for building a specific state class graph in terms of rewrite logic. Therefore, one can verify some properties with respect to time constraints using model checking techniques.