Search
Now showing items 51-51 of 51
The complexity of Petri net transformations
(1993)
This study investigates the complexity of various reduction and synthesis Petri net transformations. Transformations that preserve liveness and boundedness are considered. Liveness and boundedness are possibly the two most ...