Discrete flow networks: bottleneck analysis and fluid approximations
Mathematics of Operations Research
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
WSC '96 Proceedings of the 28th conference on Winter simulation
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
FSPNs: Fluid Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Discrete-event simulation of fluid stochastic Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Modeling of hybrid systems using continuous and hybrid Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Declaration of unknowns in DAE-based hybrid system specification
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Evolving petri nets to represent metabolic pathways
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra
Discrete Event Dynamic Systems
The Maple package SyNRAC and its application to robust control design
Future Generation Computer Systems
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
An integrated Petri net and GA based approach for scheduling of hybrid plants
Computers in Industry
Hybrid Petri nets modeling for farm work flow
Computers and Electronics in Agriculture
Performance evaluation of communication networks for distributed systems
International Journal of Computer Applications in Technology
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Resource assignment and scheduling based on a two-phase metaheuristic for cropping system
Computers and Electronics in Agriculture
On hybrid systems modeling with Petri nets
ICOSSSE'08 Proceedings of the 7th WSEAS international conference on System science and simulation in engineering
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
XML representation of metabolic P systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
The Case for Analog Circuit Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
A decomposition method for optimal firing sequence problems for first-order hybrid Petri nets
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Bounded model checking of analog and mixed-signal circuits using an SMT solver
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Analog/mixed-signal circuit verification using models generated from simulation traces
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
A new verification method for embedded systems
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Automatic abstraction for verification of cyber-physical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Chassis: A Platform for Verifying PMU Integration Using Autogenerated Behavioral Models
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Cooperation of hybrid agents in models of manufacturing systems
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
Theoretical Computer Science
A new object-oriented Petri net simulation environment based on modelica
Proceedings of the Winter Simulation Conference
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
Fundamenta Informaticae
| Hi-index | 0.01 |
Petrinets (PNs) are widely used to model discrete event dynamic systems(computer systems, manufacturing systems, communication systems,etc). Continuous Petri nets (in which the markings are real numbersand the transition firings are continuous) were defined morerecently; such a PN may model a continuous system or approximatea discrete system. A hybrid Petri net can be obtained if onepart is discrete and another part is continuous. This paper isbasically a survey of the work of the authors' team on hybridPNs (definition, properties, modeling). In addition, it containsnew material such as the definition of extended hybrid PNs andseveral applications, explanations and comments about the timingsin Petri nets, more on the conflict resolution in hybrid PNs,and connection between hybrid PNs and hybrid automata. The paperis illustrated by many examples.