Towards a Standard for Modular Petri Nets: A Formalisation

Ekkart Kindler, Laure Petrucci

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    When designing complex systems, mechanisms for structuring, composing, and reusing system components are crucial. Today, there are many approaches for equipping Petri nets with such mechanisms. In the context of defining a standard interchange format for Petri nets, modular PNML was defined as a mechanism for modules in Petri nets that is independent from a particular version of Petri nets and that can mimic many composition mechanisms by a simple import and export concept. Due to its generality, the semantics of modular PNML was only informally defined. Moreover, modular PNML did not define which concepts could or should be subject to import and export in high-level Petri nets. In this paper, we formalise a minimal version of modular high-level Petri nets, which is based on the concepts of modular PNML. This shows that modular PNML can be formalised once a specific version of Petri net is fixed. Moreover, we present and discuss some more advanced features of modular Petri nets that could be included in the standard. This way, we provide a formal foundation and a basis for a discussion of features to be included in the upcoming standard of a module concept for Petri nets in general and for high-level nets in particular.
    Original languageEnglish
    Title of host publicationProceedings of the Application and Theory of Petri Nets : 30th International Conference
    EditorsGiuliana Franceschinis, Karsten Wolf
    Publication date2009
    ISBN (Print)3-642-02423-8
    Publication statusPublished - 2009
    Event30th International Conference on Application and Theory of Petri Nets and Concurrency - Paris, France
    Duration: 22 Jun 200926 Jun 2009
    Conference number: 30


    Conference30th International Conference on Application and Theory of Petri Nets and Concurrency
    SeriesLecture Notes in Computer Science


    • Modular Petri Nets, Standardisation, High-Level Nets

    Cite this