Abstract
In this paper we consider a class of Time Petri nets defined by structural restrictions. Each Time Petri net which belongs to this class has the property that their liveness behaviour does not depend on the time. Therefore, the Time Petri net is live when its skeleton is live.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have