Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

Maggi, F. M.; Montali, M.; Westergaard, M.; van der Aalst, Wil M. P.

Springer (2011) [Buchbeitrag, Beitrag zu einem Tagungsband]

Business Process Management (BPM 2011)
Seite(n): 132-147

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-221312