Verifying workflows with cancellation regions and OR-joins an approach based on reset nets and reachability analysis

Bibliographische Detailangaben

Veröffentlicht in:	Business process management
Weitere Verfasser:	Wynn, Moe Thandar (BerichterstatterIn), Aalst, Wil van der (BerichterstatterIn), Hofstede, A.H.M. ter (BerichterstatterIn), Edmond, David (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2006
Schlagworte:	Aufsatz im Buch
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!