Probabilistic Petri Net and its Logical Semantics

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]

Authors

Yang Liu

This author has not been identified. Look up 'Yang Liu' in Google

Huaikou Miao

This author has not been identified. Look up 'Huaikou Miao' in Google

Hongwei Zeng

This author has not been identified. Look up 'Hongwei Zeng' in Google

Zhuang Li

This author has not been identified. Look up 'Zhuang Li' in Google