Università di Pisa
Sistema bibliotecario di ateneo

Domain and Event Structure Semantics for Petri Nets with Read and Inhibitors arcs

Baldan, Paolo and Busi, N. and Corradini, Andrea and Pinna, G.M. (2000) Domain and Event Structure Semantics for Petri Nets with Read and Inhibitors arcs. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (170Kb)


    We propose a functorial concurrent semantics for Petri nets extended with read and inhibitor arcs, that we call inhibitor nets. Along the lines of the seminal work of Winskel on safe nets and extending a previous work in [1] for nets with read arcs, the truly concurrent semantics is given at a categorical level via a chain of functors leading from the category SW-IN of semi-weighted inhibitor nets to the category Dom of finitary prime algebraic domains (equivalent to the category PES of prime event structures). As an intermediate semantic model, we introduce inhibitor event structures, an extension of prime event structures able to faithfully capture the dependencies among events which arise in the presence of read and inhibitor arcs. [1] P. Baldan, A. Corradini, U. Montanari "An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures" FoSSaCS '98 Conference Proceedings, Springer LNCS vol. 1378, 1998, pp. 63-80.

    Item Type: Book
    Uncontrolled Keywords: true concurrency, event structures, Petri nets, read arcs, inhibitor arcs
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 27 Jan 2015 09:55
    Last Modified: 27 Jan 2015 09:55
    URI: http://eprints.adm.unipi.it/id/eprint/2030

    Repository staff only actions

    View Item