The decision problem is shown, given two sets of firing sequences by safe petri nets (sets of t-nodes sequences but each of t-nodes has a different name) and for simplification of safe Petri nets. In order to resolve the decision problems for equivalence and simplification of the set of labeled sequences corresponding firing sequences for the labeled safe Petri net with label of each t-nodes (there may be same labels in different t-nodes), it is shown that they all require a given Petri net exponential space in the size of the net (sum of nodes and arcs) for the given petri net.
|Number of pages||8|
|Journal||Systems, computers, controls|
|Publication status||Published - Jan 1 1980|
ASJC Scopus subject areas