TY - GEN
T1 - Clarifying the priority specification of GSPN
T2 - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
AU - Teruel, Enrique
AU - Franceschinis, Giuliana
AU - De Pierro, Massimiliano
N1 - Publisher Copyright:
© 1999 IEEE.
PY - 1999
Y1 - 1999
N2 - The global multilevel priority definition in GSPN, while being most convenient with many respects, poses some modelling problems related with confusion and indirect conflicts, which may lead to undesired effects in the definition of the underlying stochastic process. While some of these problems have been recognized and dealt with in previous works on the definition of GSPN, through the introduction of extended conflict sets, some others, that will be illustrated in this paper, were not covered. To overcome all these problems, in this paper a syntactical subclass of GSPN, called detached priorities GSPN (dpGSPN), is proposed. In dpGSPN no confusion or indirect conflicts are possible, and according to our experience, modelling power is not substantially sacrificed. To facilitate the modelling, a possible method to derive a suitable global priority definition from local information is outlined.
AB - The global multilevel priority definition in GSPN, while being most convenient with many respects, poses some modelling problems related with confusion and indirect conflicts, which may lead to undesired effects in the definition of the underlying stochastic process. While some of these problems have been recognized and dealt with in previous works on the definition of GSPN, through the introduction of extended conflict sets, some others, that will be illustrated in this paper, were not covered. To overcome all these problems, in this paper a syntactical subclass of GSPN, called detached priorities GSPN (dpGSPN), is proposed. In dpGSPN no confusion or indirect conflicts are possible, and according to our experience, modelling power is not substantially sacrificed. To facilitate the modelling, a possible method to derive a suitable global priority definition from local information is outlined.
KW - Conflict
KW - Confusion
KW - Modelling methodology
KW - Priorities
KW - Stochastic Petri nets
UR - http://www.scopus.com/inward/record.url?scp=84947203750&partnerID=8YFLogxK
U2 - 10.1109/PNPM.1999.796558
DO - 10.1109/PNPM.1999.796558
M3 - Conference contribution
AN - SCOPUS:84947203750
T3 - Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
SP - 114
EP - 123
BT - Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 8 September 1999 through 10 September 1999
ER -