New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets

  • Shouguang WangEmail author
  • Dan You
  • Mengchu ZhouEmail author



This work was supported by National Natural Science Foundation of China (Grant No. 61374148).

Supplementary material

11432_2017_9446_MOESM1_ESM.pdf (246 kb)
Supporting Materials (Appendices A and B)


  1. 1.
    Karp R M, Miller R E. Parallel program schemata. J Comput Syst Sci, 1969, 3: 147–195MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Wang F Y, Gao Y, Zhou M C. A modified reachability tree approach to analysis of unbounded Petri nets. IEEE Trans Syst Man Cybern B, 2004, 34: 303–308CrossRefGoogle Scholar
  3. 3.
    Ru Y, Wu W M, Hadjicostis C. Comments on “a modified reachability tree approach to analysis of unbounded Petri nets”. IEEE Trans Syst Man Cybern B, 2006, 36: 1210CrossRefGoogle Scholar
  4. 4.
    Wang S G, Zhou M C, Li Z W, et al. A new modified reachability tree approach and its applications to unbounded Petri nets. IEEE Trans Syst Man Cybern Syst, 2013, 43: 932–940CrossRefGoogle Scholar
  5. 5.
    Wang S G, Gan M D, Zhou M C. Macro liveness graph and liveness of ω-independent unbounded nets. Sci China Inf Sci, 2015, 58: 032201zbMATHGoogle Scholar
  6. 6.
    Ginsburg S, Spanier E. Semigroups, Presburger formulas, and languages. Pac J Math, 1966, 16: 285–296MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Hauschildt D. Semilinearity of the reachability set is decidable for Petri nets. Dissertation for Ph.D. Degree. Hamburg: University of Hamburg, 1990Google Scholar
  8. 8.
    Lambert J L. Vector addition systems and semilinearity. SIAM J Comput, 1994Google Scholar
  9. 9.
    Yen H C. Path decomposition and semilinearity of Petri nets. Int J Found Comput Sci, 2009, 20: 581–596MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Science China Press and Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Department of Electronic and Information EngineeringZhejiang Gongshang UniversityHangzhouChina
  2. 2.Department of Electrical and Computer EngineeringNew Jersey Institute of TechnologyNewarkUSA

Personalised recommendations