Proposal for Adding Useful Features to Petri-Net Model Checkers - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2020

Proposal for Adding Useful Features to Petri-Net Model Checkers

(1)
1
Hubert Garavel

Abstract

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.
Fichier principal
Vignette du fichier
Garavel-20.pdf (161.54 Ko) Télécharger le fichier

Dates and versions

hal-03087421 , version 1 (23-12-2020)

Identifiers

Cite

Hubert Garavel. Proposal for Adding Useful Features to Petri-Net Model Checkers. [Research Report] Inria Grenoble - Rhône-Alpes. 2020. ⟨hal-03087421⟩
78 View
143 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More