An event structure semantics for P/T contextual nets: Asymmetric event structures

DOI10.1007/BFB0053542MaRDI QIDQ3839067zbMATH OpenFDO

Authors Paolo Baldan, Andrea Corradini, Ugo Montanari

Publication date 10 December 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0053542

zbMATH Keywords

asymmetric event structurescontextual nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Contextual Petri nets, asymmetric event structures, and processes
• An event structure semantics for general Petri nets
• Non sequential semantics for contextual P/T nets
• Contextual nets

Cited in

(11)

• Partial order semantics and read arcs
• Contextual Petri nets, asymmetric event structures, and processes
• Events in context
• Branching cells for asymmetric event structures
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• Efficient Contextual Unfolding
• McMillan’s Complete Prefix for Contextual Nets
• Efficient unfolding of contextual Petri nets
• A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
• A decentralised graphical implementation of mobile ambients
• Configuration structures, event structures and Petri nets

This page was built for publication: An event structure semantics for P/T contextual nets: Asymmetric event structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3839067)