Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
Liveness enforcing supervision of video streaming systems using nonsequential Petri nets
IEEE Transactions on Multimedia
| Hi-index | 0.00 |
Recently, modeling and simulation of hybrid dynamic systems (HDSs) have attracted much attention. However, since simultaneously dealing with the discrete and continuous variables is very difficult, most of the models result in a unified but more complicated and unnatural format. Moreover, design engineers cannot be allowed to use their preferred domain models. Based on the multiparadigm modeling concept, this correspondence proposes a Petri net framework with associated state equations to model the HDSs. In the presented approach, modeling schemes of the hybrid systems are separated but combined in a hierarchical way through specified interfaces. Designers can still work in their familiar domain-specific modeling paradigms, and the heterogeneity is hidden when composing large systems. An application to a rapid thermal process in semiconductor manufacturing is provided to demonstrate the practicability of the developed approach.