Marian V. Iordache, Panos J. Antsaklis. -liveness enforcement in Petri nets based on structural net properties. In 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001. pages 4984-4989, IEEE, 2001. [doi]
Abstract is missing.