Designing software for operational decision support through coloured Petri nets

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

    Research output: Contribution to journalArticleAcademicpeer-review

    9 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    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
    Volume11
    Issue number5
    DOIs
    Publication statusPublished - 1 May 2017

    Keywords

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

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

    Cite this