%0 Conference Paper %1 conf/sera/LiuMZL11 %A Liu, Yang %A Miao, Huaikou %A Zeng, Hongwei %A Li, Zhuang %B SERA %D 2011 %I IEEE Computer Society %K dblp %P 73-78 %T Probabilistic Petri Net and its Logical Semantics. %U http://dblp.uni-trier.de/db/conf/sera/sera2011.html#LiuMZL11 %@ 978-1-4577-1028-5

@inproceedings{conf/sera/LiuMZL11, added-at = {2023-03-23T00:00:00.000+0100}, author = {Liu, Yang and Miao, Huaikou and Zeng, Hongwei and Li, Zhuang}, biburl = {https://www.bibsonomy.org/bibtex/283a87c80dfac101c6eae3760c0f1e16e/dblp}, booktitle = {SERA}, crossref = {conf/sera/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/SERA.2011.32}, interhash = {1709e3c7b2264b93e6dd0706e6ba29b0}, intrahash = {83a87c80dfac101c6eae3760c0f1e16e}, isbn = {978-1-4577-1028-5}, keywords = {dblp}, pages = {73-78}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:51:32.000+0200}, title = {Probabilistic Petri Net and its Logical Semantics.}, url = {http://dblp.uni-trier.de/db/conf/sera/sera2011.html#LiuMZL11}, year = 2011 }