?
Controlling boundedness for live Petri nets
In this paper we study how it is possible to control Petri net behavior using priority and time constraints. Controlling here means forcing a process to behave in a stable way by associating priorities, or time intervals to transitions and hence transforming a classic Petri net into a Petri net with priorities, or a Time Petri net. For Petri net models stability is often ensured by liveness and boundedness. These properties are crucial in many application areas, e.g. workflow modeling, embedded systems design, and bioinformatics. The paper deals with the problem of transforming a given live, but unbounded Petri net into a live and bounded one by adding transition constraints. We extend the previously proposed priority solution and compare the ability to find solutions with priority and time constraints for a given Petri net.