The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes.

J.M.E.M. van der Werf, Artem Polyvyanyy

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    According to our recent proposal, an information system is a combination of a process model captured as a Petri Net with Identifiers, an information model specified in the first-order logic over finite sets with equality, and a specification of how the transitions in the net manipulate information facts. The Information Systems Modeling (ISM) Suite is an integrated environment for developing, simulating, and analyzing models of information systems, released under an open-source license. This paper presents the basic features of the ISM Suite.
    Original languageEnglish
    Title of host publicationApplication and Theory of Petri Nets and Concurrency. PETRI NETS 2020
    PublisherSpringer
    Pages414-425
    Number of pages12
    ISBN (Electronic)978-3-030-51831-8
    ISBN (Print)978-3-030-51830-1
    DOIs
    Publication statusPublished - 2020

    Publication series

    NameLecture Notes in Computer Science
    Volume12152

    Keywords

    • Information systems
    • Modeling
    • Simulating
    • Tools

    Fingerprint

    Dive into the research topics of 'The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes.'. Together they form a unique fingerprint.

    Cite this