Proposal for Adding Useful Features to Petri-Net Model Checkers

01/13/2021
by   Hubert Garavel, et al.
0

Solutions proposed for the longstanding problem of automatic decomposition of Petri nets into concurrent processes, as well as methods developed in Grenoble for the automatic conversion of safe Petri nets to NUPNs (Nested-Unit Petri Nets), require certain properties to be computed on Petri nets. We notice that, although these properties are theoretically interesting and practically useful, they are not currently implemented in mainstream Petri net tools. Taking into account such properties would open fruitful research directions for tool developers, and new perspectives for the Model Checking Contest as well.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/20/2020

MCC: a Tool for Unfolding Colored Petri Nets in PNML Format

MCC is a tool designed for a very specific task: to transform the models...
04/30/2021

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets

We prove that (strong) fully-concurrent bisimilarity and causal-net bisi...
04/20/2021

On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets

We define a method for taking advantage of net reductions in combination...
06/08/2018

Orbital Petri Nets: A Novel Petri Net Approach

Petri Nets is very interesting tool for studying and simulating differen...
04/12/2022

Methods for Efficient Unfolding of Colored Petri Nets

Colored Petri nets offer a compact and user friendly representation of t...
02/09/2018

The Monadic Second Order Theory of Grid-Free 1-Safe Petri Nets is Decidable

Finite 1-safe Petri nets, also called net systems, are natural models of...
03/16/2020

Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems

This paper presents a compositional conformance checking approach betwee...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.