The hybrid nature of complex systems such Hybrid Dynamic Systems (HDS) makes the modeling, analysis and monitoring tasks very challenging. The complexity due to the hybrid behavior of HDS remains always the most significant reason. However, the graphical models such Bond graph and Petri Nets are extremely appreciable allowing the best description of the internal causalities in HDS. In this pape...

In the present paper, a general hybrid model is proposed, including vector-field switching and/or state jumps. We clearly separate the open-loop hybrid plant from the closed-loop hybrid system in order to support the construction of a hybrid controller. A unified mathematical description where all changes are expressed as state jumps is presented. The total hybrid system can be described by hyb...

Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It cons...

For modeling continuous and hybrid Petri Nets with dynamic edge weightings, the already existing Petri Net Libraries were further developed. The new library was implemented in OpenModelica using the SimForge GUI, however it works also with Dymola. With the extensions it is possible to model complex biological as well as production or traffic systems.

In many research projects on modeling and analyzing biological pathways, the Petri net has been recognized as a promising method for representing biological pathways. From the pioneering works by Reddy et al., 1993, and Hofestädt, 1994, that model metabolic pathways by traditional Petri net, several enhanced Petri nets such as colored Petri net, stochastic Petri net, and hybrid Petri net have b...

ÐIn this paper, we present the Concurrent Object-Oriented Petri Nets (CO-OPN/2) formalism devised to support the specification of large distributed systems. Our approach is based on two underlying formalisms: order-sorted algebra and algebraic Petri nets. With respect to the lack of structuring capabilities of Petri nets, CO-OPN/2 has adopted the object-oriented paradigm. In this hybrid approac...

A natural modeling framework for many complex systems, such as communication or computer systems and networks, is provided through discrete event systems and, in particular, generalized stochastic Petri nets (GSPN) models [3]. However, factors such as huge traffic volumes, increasingly complex operating rules, and performance requirements make such models highly impractical. From an analytical ...

A recently proposed generic discrete event model is further developed and exemplified in this paper. Since every transition is expressed as a predicate on the current and next values of a set of variables, the model is called Predicate Transition Model (PTM). It is briefly illustrated how a number of well known discrete-event models, including automata and Petri nets extended with shared variab...

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...

Software verification and validation (SVV) are major ingredients of current software engineering projects. Among the available methods to solve this problem, formal methods (although very costly at the computational level) are arguably the most powerful ones. One of the most promising approaches in this field is that based on Petri nets. This paper discusses some issues regarding the applicatio...