Verification of EPCs: Using Reduction Rules and Petri Nets

van Dongen, B. F.; van der Aalst, Wil M. P.; Verbeek, H. M. W.

(2005) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05)
Seite(n): 372-386

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-221123