How to Find Invariants for Coloured Petri Nets

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

    Abstract

    This paper shows how invariants can be found for coloured Petri Nets. We define a set of transformation rules, which can be used to transform the incidence matrix, without changing the set of invariants.
    Original languageEnglish
    Title of host publicationMathematical Foundations of Computer Science 1981
    EditorsJ. Gruska, M. Chytil
    Number of pages11
    Volume118
    PublisherSpringer
    Publication date1981
    Pages327-338
    ISBN (Print)3-540-10856-4
    DOIs
    Publication statusPublished - 1981
    EventSymposium on Mathematical Foundations of Computer Science - Strbske Pleso, Czechoslovakia, Czech Republic
    Duration: 31 Aug 19814 Sept 1981
    Conference number: 10th

    Conference

    ConferenceSymposium on Mathematical Foundations of Computer Science
    Number10th
    Country/TerritoryCzech Republic
    CityStrbske Pleso, Czechoslovakia
    Period31/08/198104/09/1981
    SeriesLecture Notes in Computer Science
    Volume118
    ISSN0302-9743

    Fingerprint

    Dive into the research topics of 'How to Find Invariants for Coloured Petri Nets'. Together they form a unique fingerprint.

    Cite this