Details
| Original language | English |
|---|---|
| Pages (from-to) | 354-358 |
| Number of pages | 5 |
| Journal | Proceedings of the IEEE International Conference on Systems, Man and Cybernetics |
| Volume | 2 |
| Publication status | Published - 2002 |
| Event | 2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia Duration: 6 Oct 2002 → 9 Oct 2002 |
Abstract
Two different types of timed Petri nets that contain continuous tokens have been developed separately. Fluid Stochastic Petri Nets (FSPN) are stochastic Petri nets enhanced by continuous places. Continuous places can be filled from ordinary transitions, while the transitions are enabled by discrete places. Hybrid Petri Nets (HPN) are stochastic Petri nets enhanced by continuous places and continuous transitions. Both kinds of transitions can be enabled by both kinds of places, and both kinds of transitions can be connected by arcs to/from both kinds of places (of course with some restrictions). Each of the continuous Petri net formalisms provides interesting analysis methods, and both formalisms experienced a lot of extensions on modeling level after their first introduction. In this paper, we compare the modeling power of the basic versions and of some extensions of both formalisms. As result we show, that in general, FSPNs can be emulated with HPNs, and vice versa, however depending on the versions considered. Thus, there is no essential difference in both formalisms. A transformation of one type of net to the other one can be found, if for some reason (e.g., use of different analysis methods) the other formalism is to prefer.
Keywords
- Behavior of nets, Continuous and fluid nets, Higher-level net models, Timed and stochastic nets
ASJC Scopus subject areas
- Engineering(all)
- Control and Systems Engineering
- Computer Science(all)
- Hardware and Architecture
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Vol. 2, 2002, p. 354-358.
Research output: Contribution to journal › Conference article › Research › peer review
}
TY - JOUR
T1 - Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN)
AU - Becker, Matthias
AU - Bessey, Thomas
PY - 2002
Y1 - 2002
N2 - Two different types of timed Petri nets that contain continuous tokens have been developed separately. Fluid Stochastic Petri Nets (FSPN) are stochastic Petri nets enhanced by continuous places. Continuous places can be filled from ordinary transitions, while the transitions are enabled by discrete places. Hybrid Petri Nets (HPN) are stochastic Petri nets enhanced by continuous places and continuous transitions. Both kinds of transitions can be enabled by both kinds of places, and both kinds of transitions can be connected by arcs to/from both kinds of places (of course with some restrictions). Each of the continuous Petri net formalisms provides interesting analysis methods, and both formalisms experienced a lot of extensions on modeling level after their first introduction. In this paper, we compare the modeling power of the basic versions and of some extensions of both formalisms. As result we show, that in general, FSPNs can be emulated with HPNs, and vice versa, however depending on the versions considered. Thus, there is no essential difference in both formalisms. A transformation of one type of net to the other one can be found, if for some reason (e.g., use of different analysis methods) the other formalism is to prefer.
AB - Two different types of timed Petri nets that contain continuous tokens have been developed separately. Fluid Stochastic Petri Nets (FSPN) are stochastic Petri nets enhanced by continuous places. Continuous places can be filled from ordinary transitions, while the transitions are enabled by discrete places. Hybrid Petri Nets (HPN) are stochastic Petri nets enhanced by continuous places and continuous transitions. Both kinds of transitions can be enabled by both kinds of places, and both kinds of transitions can be connected by arcs to/from both kinds of places (of course with some restrictions). Each of the continuous Petri net formalisms provides interesting analysis methods, and both formalisms experienced a lot of extensions on modeling level after their first introduction. In this paper, we compare the modeling power of the basic versions and of some extensions of both formalisms. As result we show, that in general, FSPNs can be emulated with HPNs, and vice versa, however depending on the versions considered. Thus, there is no essential difference in both formalisms. A transformation of one type of net to the other one can be found, if for some reason (e.g., use of different analysis methods) the other formalism is to prefer.
KW - Behavior of nets
KW - Continuous and fluid nets
KW - Higher-level net models
KW - Timed and stochastic nets
UR - http://www.scopus.com/inward/record.url?scp=0036974020&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:0036974020
VL - 2
SP - 354
EP - 358
JO - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
JF - Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
SN - 0884-3627
T2 - 2002 IEEE International Conference on Systems, Man and Cybernetics
Y2 - 6 October 2002 through 9 October 2002
ER -