We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Proposal for Adding Useful Features to Petri-Net Model Checkers

Authors: Hubert Garavel (CONVECS)
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.
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2101.05024 [cs.LO]
  (or arXiv:2101.05024v2 [cs.LO] for this version)

Submission history

From: HAL CCSD [view email] [via HAL proxy]
[v1] Wed, 13 Jan 2021 12:00:40 GMT (162kb)
[v2] Thu, 21 Jan 2021 13:10:28 GMT (69kb)

Link back to: arXiv, form interface, contact.