Designing software for operational decision support through coloured Petri nets

F.M. Maggi (Corresponding author), M. Westergaard

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
1 Downloads (Pure)


Operational support provides, during the execution of a business process, replies to questions such as ‘how do I end the execution of the process in the cheapest way?’ and ‘is my execution compliant with some expected behaviour?’ These questions may be asked several times during a single execution and, to answer them, dedicated software components (the so-called operational support providers) need to be invoked. Therefore, an infrastructure is needed to handle multiple providers, maintain data between queries about the same execution and discard information when it is no longer needed. In this paper, we use coloured Petri nets (CPNs) to model and analyse software implementing such an infrastructure. This analysis is needed to clarify the requirements before implementation and to guarantee that the resulting software is correct. To this aim, we present techniques to represent and analyse state spaces with 250 million states on a normal PC. We show how the specified requirements have been implemented as a plug-in of the process mining tool ProM and how the operational support in ProM can be used in combination with an existing operational support provider. Keywords: Coloured Petri nets, operational support, model-driven design, state space analysis, business process monitoring
Original languageEnglish
Pages (from-to)576-596
Number of pages21
JournalEnterprise Information Systems
Issue number5
Publication statusPublished - 1 May 2017


  • Coloured Petri nets
  • business process monitoring
  • model-driven design
  • operational support
  • state space analysis


Dive into the research topics of 'Designing software for operational decision support through coloured Petri nets'. Together they form a unique fingerprint.

Cite this