A Markovian Petri net is a stochastic discrete event system frequently used for analysis and performance evaluation purposes. In the past, the fluidification has been proposed as a relaxation technique for avoiding the ”state explosion problem”. Following the same approach, in this paper a hybrid Petri net model is defined as a partial relaxation of an original Markovian Petri net. It is shown ...

The formalism of Hybrid Functional Petri Nets (HFPN) has proved its convenience for simulating biological systems. The drawback of the noticeable expressiveness of HFPN is the difficulty to perform formal verifications of dynamical properties. In this article, we propose a model-checking procedure for Timed Hybrid Petri Nets (THPN), a sub-class of HFPN. This procedure is based on the translatio...

The scheduling of mixed batch/continuous process plants is difficult since the model and solution have to deal with both discrete and continuous operations. Motivated by the need for the effective scheduling and control of operations in sugar milling, a new type of hybrid Petri nets called Hybrid Time Petri Nets(HTPN) is proposed, which allows the formulation of variable cycle time and variable...

In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. In particular, the transfer of the continuous state to a region of the state space under safety speci cations on the discrete and continuous dynamics is addressed. The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervis...

A supervisory hybrid system may be modeled from two levels: logic level (upper) and continuous level (lower). In this paper, adaptive fuzzy Petri nets and neural networks are combined together for supervisory hybrid system modeling. Adaptive Fuzzy Petri Net is adopted to model the supervisory logic parts, and dynamic neural networks are applied to continuous parts. Two hybrid system examples ar...

In this paper, continuous timed Petri nets (CTPN) are used to develop a hybrid traffic model, where the network is modelled as macroscopic model and calibrated by microscopic models. The concept ...

In this paper, we present a new approach to embedded system design based on modeling discrete and also continuous system parts with high level Petri-Nets. Our investigations concentrate on a complete design flow, analysis on high level Petri-Nets and their meaning for hardware/software partitioning of real-time embedded systems. The concepts for hybrid modeling of discrete and continuous system...

In this paper, we present a new approach to embedded system design based on modeling discrete and also continuous system parts with high level Petri–Nets. Our investigations concentrate on a complete design flow, analysis on high level Petri–Nets and their meaning for hardware/software partitioning of real-time embedded systems. The concepts for hybrid modeling of discrete and continuous system...

With the purpose of modeling, specifying and reasoning in an integrated fashion with procedural and declarative aspects (both commonly present in cases or scenarios), the paper introduces Logic Programming Petri Nets (LPPN), an extension to the Petri Net notation providing an interface to logic programming constructs. Two semantics are presented. First, a hybrid operational semantics that separ...