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

Fabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst

Browse the full BPM paper archive.