Title :
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
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;
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
DOI :
10.1109/SERA.2011.32
