Deadlock Property Analysis of Concurrent Programs Based on Petri Net Structure
Crossref DOI link: https://doi.org/10.1007/s10766-016-0440-7
Published Online: 2016-05-27
Published Print: 2017-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Liu, Wei
Wang, Lu
Du, Yuyue
Li, Maozhen
Funding for this research was provided by:
National Natural Science Foundation of China (61472228)
the Natural Science Foundation of Shandong province (ZR2014FM009)
Text and Data Mining valid from 2016-05-27