In this paper a bistable self-organizing genetic structure with two alternative stable states (true and false) – one-dimensional molecular-genetic trigger (1D MGT) – is modeled with Timed Hybrid Petri Nets. It has been proved that the gene expression regulation process of lexA recA genetic systems with regulatory enzymes is controlled by 1D MGT. 1D MGT can be switched from one stable state to a...

The aim of this paper is to propose a new method for controller design using control places in special hybrid Petri Nets called Hybrid-Time Delay-Petri (HTDPN). Most approaches use the place supervisory discrete Nets. However, approach uses linear dynamical systems which are modeled by HTDPN tool. This consists places, transitions, arcs connected place, and weights arcs, added model system. In ...

We present an embedding of Petri nets into B abstract systems. The embedding is achieved by translating both the static structure (modelling aspect) and the evolution semantics of Petri nets. The static structure of a Petri net is captured within a B abstract system through a graph structure. This abstract system is then included in another abstract system which captures the evolution semantics...

Hierarchical Petri nets allow a more abstract view whereas reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding an hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfi...

Extended Simple Colored Petri Nets (ESCP-nets) are a new class of High-level Petri Nets conceived as a good trade-off between Petri Nets (P-nets) and Colored Petri Nets (CP-nets), to be used in plant simulation. ESCP-nets, while being much more convenient and compact than P-nets, are fairly simpler than CP-nets, thus being more easily implemented and more amenable to formal analysis. Furthermor...

Through many researches on modeling and analyzing biological pathways, Petri net has recognized as a promising method for representing biological pathways. Recently, Matsuno et. al. (2003) introduced hybrid functional Petri net (HFPN) for giving more intuitive and natural biological pathway modeling method than existing Petri nets. They also developed Genomic Object Net (GON) which employs the ...

We de ne a new subclass of persistent Petri nets called single-path Petri nets. Our intention is to provide a class of Petri nets whose study might yield some insight into the mathematical properties of persistent Petri nets or even general Petri nets. We conjecture that the Karp-Miller coverability tree for a persistent net is small enough to be searched in polynomial space. Although we are un...