A full R/I-net construct lexicon for declare constraints

Johannes De Smedt, Seppe vanden Broucke, Jochen De Weerdt and Jan Vanthienen

No 486751, Working Papers of Department of Decision Sciences and Information Management, Leuven from KU Leuven, Faculty of Economics and Business (FEB), Department of Decision Sciences and Information Management, Leuven

Abstract: Recently, declarative process languages are gaining ground as the procedural way of capturing activities in a fixed work-flow is deemed to be inflexible. Declare, one of the prime languages of the declarative process modeling paradigm, is composed of logic-based activity constraints which are event-driven. In this paper, a template-based conversion is proposed of every Declare constraint into a single Petri net fragment with weighted, reset and inhibitor arcs, i.e. a weighted R/I-net. As such, a formalization of the execution semantics of Declare is obtained, similar to linear temporal logic or regular expressions, but now expressed in the form of Petri nets. Equivalence of Declare constraints and the respective Petri net templates are analyzed at the theoretical level and by means of a simulation experiment.

Keywords: Declare; Conversion; Weighted R/I-nets; Formalization; Execution semantics; Reset arcs; Inhibitor arcs (search for similar items in EconPapers)
Date: 2015-02
References: Add references at CitEc
Citations:

Published in FEB Research Report KBI_1506

Downloads: (external link)
https://lirias.kuleuven.be/retrieve/306482 A full R/I-net construct lexicon for declare constraints (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ete:kbiper:486751

Access Statistics for this paper

More papers in Working Papers of Department of Decision Sciences and Information Management, Leuven from KU Leuven, Faculty of Economics and Business (FEB), Department of Decision Sciences and Information Management, Leuven
Bibliographic data for series maintained by library EBIB ().