Decidability Questions for Petri Nets

An understanding of the mathematical properties of Petri Nets is essential when one wishes to use Petri Nets as an abstract model for concurrent systems. The decidability of various problems which arise in this context is an important aspect of this question. The fact that these problems also arise...

Full description

Bibliographic Details
Main Author: Hack, Michel Henri Théodore
Other Authors: Patil, Suhas Shrikrishna
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149455