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]

@inproceedings{LiuMZL11-0,
  title = {Probabilistic Petri Net and its Logical Semantics},
  author = {Yang Liu and Huaikou Miao and Hongwei Zeng and Zhuang Li},
  year = {2011},
  doi = {10.1109/SERA.2011.32},
  url = {http://doi.ieeecomputersociety.org/10.1109/SERA.2011.32},
  researchr = {https://researchr.org/publication/LiuMZL11-0},
  cites = {0},
  citedby = {0},
  pages = {73-78},
  booktitle = {9th International Conference on Software Engineering Research, Management and Applications, SERA 2011, Baltimore, MD, USA, August 10-12, 2011},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4577-1028-5},
}