Non sequential semantics for contextual P/T nets

DOI10.1007/3-540-61363-3_7zbMath1418.68136OpenAlexW1538724227MaRDI QIDQ4633159

Nadia Busi, G. Michele Pinna

Publication date: 2 May 2019

Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61363-3_7

zbMATH Keywords

partial ordertransitive closurefiring sequencecausal dependencysequential process

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Boolean networks: beyond generalized asynchronicity ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ Synthesis of nets with inhibitor arcs ⋮ Just testing ⋮ Concurrency in Boolean networks ⋮ Non sequential semantics for contextual P/T nets ⋮ Branching cells for asymmetric event structures ⋮ Executability of scenarios in Petri nets ⋮ Contextual Petri nets, asymmetric event structures, and processes ⋮ Pomset bisimulation and unfolding for reset Petri nets ⋮ Efficiency of asynchronous systems, read arcs, and the MUTEX-problem ⋮ Partial order semantics and read arcs

Cites Work

• Unnamed Item
• Unnamed Item
• Modular construction and partial order semantics of Petri nets
• On the nature of events: another perspective in concurrency
• A calculus of mobile processes. II
• Contextual nets
• Concurrent bisimulations in Petri nets
• The non-sequential behaviour of Petri nets
• Non sequential semantics for contextual P/T nets
• On the nature of events

This page was built for publication: Non sequential semantics for contextual P/T nets