For the most recent entries see the Petri Nets Newsletter.

XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows (Best paper award).

van der Aalst, W.M.P.; Verbeek, H.M.W.; Kumar, A.

In: Altinkemer, K.; Chari, K.: Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), pages 30-45. Informs, Linthicum, MD, 2001.

Also in: BETA Working Paper Series, WP 65. Eindhoven University of Technology, Eindhoven, .

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography