Performance evaluation of concurrent systems using Petri nets
The author gives a new lower bound on minimal cycle time (which is better than the pevious one) of a P-invariant timed Petri net. For non-P- invariant Petri nets he shows the existence of equivalent (with respect to minimal cycle time) P-invariant Petri nets.
scientific article; zbMATH DE number 3846888