Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN)

Research output: Contribution to journalConference articleResearchpeer review

Authors

  • Matthias Becker
  • Thomas Bessey
View graph of relations

Details

Original languageEnglish
Pages (from-to)354-358
Number of pages5
JournalProceedings of the IEEE International Conference on Systems, Man and Cybernetics
Volume2
Publication statusPublished - 2002
Event2002 IEEE International Conference on Systems, Man and Cybernetics - Yasmine Hammamet, Tunisia
Duration: 6 Oct 20029 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

Cite this

Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN). / Becker, Matthias; Bessey, Thomas.
In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Vol. 2, 2002, p. 354-358.

Research output: Contribution to journalConference articleResearchpeer review

Becker, M & Bessey, T 2002, 'Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN)', Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 2, pp. 354-358.
Becker, M., & Bessey, T. (2002). Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN). Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2, 354-358.
Becker M, Bessey T. Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN). Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. 2002;2:354-358.
Becker, Matthias ; Bessey, Thomas. / Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN). In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics. 2002 ; Vol. 2. pp. 354-358.
Download
@article{73e3f541c8bb42d592f18e4d9550ddeb,
title = "Comparison of the modeling power of Fluid Stochastic Petri Nets (FSPN) and Hybrid Petri Nets (HPN)",
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",
author = "Matthias Becker and Thomas Bessey",
year = "2002",
language = "English",
volume = "2",
pages = "354--358",
note = "2002 IEEE International Conference on Systems, Man and Cybernetics ; Conference date: 06-10-2002 Through 09-10-2002",

}

Download

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 -