The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Petri net based modeling of hybrid systems
Computers in Industry - Special issue: ASI'96: life cycle approaches to production systems: management, control and supervision
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets
International Workshop on Timed Petri Nets
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Discrete event representation of qualitative models using Petrinets
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Modelling of batch production systems using Petri nets with dynamic tokens
Mathematics and Computers in Simulation
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
After a surveyof some approaches for modeling hybrid systems by means of Petrinets ( t-time Petri nets, colored Petri nets, hybridPetri nets and differential predicate transition nets), thispaper illustrates how these formal models can be used for simulationand validation. It is shown how it was possible to use aggregatedqualitative models concurrently with detailed ones.