1. Workflow verification: finding control-flow errors using Petri-net-based techniques;van der Aalst,2000
2. Beyond asymmetric choice;van der Aalst;Petri Net Newslett.,1998
3. T. Agerwala, Y. Choed-Amphai, A synthesis rule for concurrent systems, Proc. 15th Design Automation Conf., Las Vegas, June 1978, pp. 305–311.
4. On liveness in extended non self-controlling nets;Barkaoui,1995
5. On liveness and controlled siphons in Petri nets;Barkaoui,1996