Yang Liu, Huaikou Miao, Hongwei Zeng, Zhuang Li. Probabilistic Petri Net and its Logical Semantics. In 9th International Conference on Software Engineering Research, Management and Applications, SERA 2011, Baltimore, MD, USA, August 10-12, 2011. pages 73-78, IEEE Computer Society, 2011. [doi]
Abstract is missing.