BPNSs相关论文
Modeling and reachability analysis of synchronizing transitions bounded Petri net systems based upon
The reachability problem of synchronizing transitions bounded Petri net systems (BPNSs) is investigated in this paper by......