• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@MISC{Ermel96ataste,
    author = {Claudia Ermel and Claudia Ermel and Alfio Martini and Alfio Martini},
    title = {A Taste of Categorical Petri Nets},
    year = {1996}
}

Bookmarks

         

OpenURL

 

Abstract:

This report aims at providing introductory concepts for a categorical approach for the study of Petri Nets. After motivating why a categorical approach for studying petri nets might be desirable, we show that "classical" place/transition Nets, usually seen as bipartite directed graphs, can be naturally given a monoid structure. Upon this idea we construct a category with place/transition Nets as objects and a suitable notion of place/transition Net morphisms as morphisms. We also verify the existence of ubiquitous categorical constructions in order to verify issues concerning cocompleteness. In the end, the usual notion of semantics of place/transition Nets by a marking graph construction is shown to be nothing else than an adjoint situation between two suitable functors. Further points of interest are pointed out in the bibliographic notes. Contents 1 Introduction 2 2 Preliminaries 3 3 Categorical P/T-Nets 8 3.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...

Citations