Comparing Petri Net and Activity Diagram Variants for Workflow Modelling: A Quest for Reactive Petri Nets

H. Eshuis, H. Ehrigh (Editor), Roelf J. Wieringa, W. Reisig (Editor), G. Rozenberg (Editor), H. Weber (Editor)

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    49 Citations (Scopus)

    Abstract

    Petri net variants are widely used as a workflow modelling technique. Recently, UMLa ctivity diagrams have been used for the same purpose, even though the syntax and semantics of activity diagrams has not been yet fully worked out. Nevertheless, activity diagrams seem very similar to Petri nets and on the surface, one may think that they are variants of each other. To substantiate or deny this claim, we need to formalise the intended semantics of activity diagrams and then compare this with various Petri net semantics. In previous papers we have defined two formal semantics for UMLact ivity diagrams that are intended for workflow modelling. In this paper, we discuss the design choices that underlie these two semantics and investigate whether these design choices can be met in low-level and high-level Petri net semantics. We argue that the main difference between the Petri net semantics and our semantics of UML act ivity diagrams is that the Petri net semantics models resource usage of closed, active systems that are non-reactive, whereas our semantics of UMLact ivity diagrams models open, reactive systems. Since workflow systems are open, reactive systems, we conclude that Petri nets cannot model workflows accurately, unless they are extended with a syntax and semantics for reactivity.
    Original languageEnglish
    Title of host publicationPetri Net Technology for Communication-Based Systems
    Subtitle of host publicationAdvances in Petri Nets
    EditorsHartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
    Place of PublicationBerlin
    PublisherSpringer
    Pages321-351
    Number of pages31
    ISBN (Print)978-3-540-20538-8
    DOIs
    Publication statusPublished - 2003

    Publication series

    NameLecture notes in computer science
    PublisherSpringer
    Volume2472
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Keywords

    • METIS-217425
    • EWI-10502
    • SCS-Services
    • IR-61800

    Fingerprint Dive into the research topics of 'Comparing Petri Net and Activity Diagram Variants for Workflow Modelling: A Quest for Reactive Petri Nets'. Together they form a unique fingerprint.

    Cite this