University of Sussex
Browse

File(s) not publicly available

An axiomatization of the category of Petri net computations

journal contribution
posted on 2023-06-08, 09:47 authored by Vladimiro Sassone
We introduce the notion of strongly concatenable process as a refinement of concatenable processes (Degano et al. 1996), which can be expressed axiomatically via a functor [script Q](_) from the category of Petri nets to an appropriate category of symmetric strict monoidal categories, in the precise sense that, for each net N, the strongly concatenable processes of N are isomorphic to the arrows of [script Q](N). In addition, we identify a coreflection right adjoint to [script Q](_) and characterize its replete image, thus yielding an axiomatization of the category of net computations.

History

Publication status

  • Published

Journal

Mathematical Structures in Computer Science

ISSN

09601295

Publisher

Cambridge University Press

Issue

2

Volume

8

Page range

117-151

ISBN

0960-1295

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Legacy Posted Date

2012-02-06

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC