Probabilistic Petri Net and its Logical Semantics

Author

Liu, Yang ; Miao, Huaikou ; Zeng, Hongwei ; Li, Zhuang

Author_Institution

Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China

fYear

2011

fDate

10-12 Aug. 2011

Firstpage

73

Lastpage

78

Abstract

There are many variants of Petri net at present, and some of them can model system with both function and performance specification, such as stochastic Petri net, and generalized stochastic Petri net. In order to address the issue of modeling system with probabilistic behaviors, a kind of Petri net with probability (probabilistic Petri net, PPN) is proposed in this paper. Then an action-based PCTL is developed to interpret logical semantics for PPN system. The usefulness of PPN system is illustrated by modeling and specifying an elaborate model of travel arrangements workflow.

Keywords

Petri nets; travel industry; function specification; generalized stochastic Petri net; logical semantics; performance specification; probabilistic Petri net; travel arrangements workflow; Analytical models; Educational institutions; Firing; Probabilistic logic; Probability; Semantics; Stochastic processes; Petri net; aPCTL; probabilistic behaviour;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Research, Management and Applications (SERA), 2011 9th International Conference on

Conference_Location

Baltimore, MD

Print_ISBN

978-1-4577-1028-5

Type

conf

DOI

10.1109/SERA.2011.32

Filename

6065622