＜正＞Dear editor,Analysis of reachability sets is of fundamental importance for a Petri net （PN）. A reachability set can be represented by a reachability tree （RT）,which is a powerful tool for intuitively checking the properties of PNs. Thus, properly construction of an RT is critical. Actually, constructing RTs to exactly characterize reachability sets for
展开▼
