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)
Contribution to a book, Contribution to a conference proceedings

In: Business Process Management (BPM 2011)
Page(s)/Article-Nr.: 132-147


  • Department of Computer Science [120000]
  • Chair of Computer Science 9 (Process and Data Science) [122510]