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 and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra
Discrete Event Dynamic Systems
Boundedness undecidability for synchronized nets
Information Processing Letters
A framework for formal modeling and analysis of organizations
Applied Intelligence
Performance evaluation of communication networks for distributed systems
International Journal of Computer Applications in Technology
Visualization of the simulation data of biochemical network models: a painted Petri net approach
Proceedings of the 2007 Summer Computer Simulation Conference
Petri net based description and modeling of metabolic pathway
Proceedings of the 2007 Summer Computer Simulation Conference
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics
Discrete Event Dynamic Systems
Snoopy: a tool to design and animate/simulate graph-based formalisms
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
Discrete Event Dynamic Systems
Proceedings of the 2009 ACM symposium on Applied Computing
On hybrid systems modeling with Petri nets
ICOSSSE'08 Proceedings of the 7th WSEAS international conference on System science and simulation in engineering
Microcontroller-based process monitoring using petri-nets
EURASIP Journal on Embedded Systems - Challenges on complexity and connectivity in embedded systems
Coupling from the past in hybrid models for file sharing peer to peer systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Reachability analysis of a switched buffer network
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Choice-point nets: a discrete-event modelling technique for analyzing health care protocols
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
Information Processing Letters
A continuous Petri net approach for model predictive control of traffic systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Ion channel modeling and simulation using hybrid functional Petri net
LSMS/ICSEE'10 Proceedings of the 2010 international conference on Life system modeling and simulation and intelligent computing, and 2010 international conference on Intelligent computing for sustainable energy and environment: Part III
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Timing and liveness in continuous Petri nets
Automatica (Journal of IFAC)
A workflow framework for intelligent service composition
Future Generation Computer Systems
A tool for teaching Petri nets
Journal of Computing Sciences in Colleges
Supporting interoperability using the discrete-event modeling ontology (DeMO)
Winter Simulation Conference
Preface: Petri nets for Systems and Synthetic Biology
Natural Computing: an international journal
Natural Computing: an international journal
How might petri nets enhance your systems biology toolkit
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Preface: Petri nets for Systems and Synthetic Biology
Natural Computing: an international journal
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Synchronizing sequences on not strongly connected Petri nets (Work-in-Progress)
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Fluid computation of passage-time distributions in large Markov models
Theoretical Computer Science
Estimation and conflict detection in human controlled systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
On the computational power of timed differentiable petri nets
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Continuization of timed petri nets: from performance evaluation to observation and control
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Unfoldings of bounded hybrid petri nets
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
Controller synthesis by petri nets modeling
VECoS'09 Proceedings of the Third international conference on Verification and Evaluation of Computer and Communication Systems
Comparison of methods for passenger flow simulation of an airport terminal
BICA'12 Proceedings of the 5th WSEAS congress on Applied Computing conference, and Proceedings of the 1st international conference on Biologically Inspired Computation
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
Theoretical Computer Science
Modeling of chemokine signaling pathway
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
Knowledge-Guided identification of petri net models of large biological systems
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Fault Modeling in Discrete Event Systems Using Petri Nets
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Petri nets approach to modeling of immune system and autism
ICARIS'12 Proceedings of the 11th international conference on Artificial Immune Systems
Region-Based analysis of hybrid petri nets with a single general one-shot transition
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
HPN modeling, optimization and control law extraction for continuous steel processing
Proceedings of the Winter Simulation Conference
Modeling and simulation by hybrid Petri nets
Proceedings of the Winter Simulation Conference
Continuous approximation of collective system behaviour: A tutorial
Performance Evaluation
IPA for continuous stochastic marked graphs
Automatica (Journal of IFAC)
Mathematics and Computers in Simulation
Exploring modeling language for multi-touch systems using petri nets
Proceedings of the 2013 ACM international conference on Interactive tabletops and surfaces
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets
Journal of Biomedical Informatics
Modelling and control of a multimodal transportation system using hybrid Petri nets with fuzzy logic
International Journal of Systems, Control and Communications
Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
| Hi-index | 0.01 |
Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control. Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri Nets, while preserving the consistency of basic concepts throughout the book. The book is a monograph as well as a didactic tool which is easy to understand due to many simple solved examples and detailed figures. In its second completely reworked edition various sections, concepts and recently developed algorithms are added as well as additional examples/exercises.