Work

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

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-23059-2_13

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

Institutions: Eindhoven University of Technology, Free University of Bozen-Bolzano

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: closed

OpenAlex ID: W1826622293

FWCI: 44.97

Cites: 22

Cited by: 233

Related to: 10