For the most recent entries see the Petri Nets Newsletter.

Verification of Workflow Task Structures: A Petri-net-based Approach.

van der Aalst, W.M.P.; ter Hofstede, A.H.M.

In: Forschungsbericht Nr. 380. Universität Karlsruhe, Institut AIFB, Karlsruhe, 1998.


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

Back to the Petri Nets Bibliography