Theoretical Computer Science
Petri nets as models of linear logic
CAAP '90 Proceedings of the fifteenth colloquium on CAAP'90
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
A survey of Petri net applications in batch processes
Computers in Industry
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Composing Real-Time Objects: A Case for Petri Nets and Girard's Linear L
ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Reachability and Temporal Conflicts in t-Time Petri Nets
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition)
Modeling behavioral design patterns of concurrent objects
Proceedings of the 28th international conference on Software engineering
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Consistency Checking of UML Dynamic Models Based on Petri Net Techniques
CIC '06 Proceedings of the 15th International Conference on Computing
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
A survey of dynamic scheduling in manufacturing systems
Journal of Scheduling
A Method for Analyzing Software Faults Based on Mining Outliers' Feature Attribute Sets
AMT '09 Proceedings of the 5th International Conference on Active Media Technology
Modeling road traffic signals control using UML and the MARTE profile
ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part IV
Hi-index | 0.00 |
This paper presents an approach to model, design and verify scenarios of real-time systems used in the scheduling and global coordination of batch systems. The initial requirements of a system specified with sequence diagrams are translated into a single p-time Petri net model representing the global behavior of the system. For the Petri net fragments involved in conflicts, symbolic production and consumption dates assigned to tokens are calculated based on the sequent calculus of linear logic. These dates are then used for off-line conflict resolution within a token player algorithm used for scenario verification of real-time specifications and which can be seen as a simulation tool for UML interaction diagrams.