Non sequential semantics for contextual P/T nets

DOI10.1007/3-540-61363-3_7zbMATH Open1418.68136OpenAlexW1538724227MaRDI QIDQ4633159FDOQ4633159

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1556864
• Contextual Petri nets, asymmetric event structures, and processes
• scientific article; zbMATH DE number 3974312
• scientific article; zbMATH DE number 1973129
• Contextual nets

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)

Cites Work

• Concurrent bisimulations in Petri nets
• Title not available (Why is that?)
• A calculus of mobile processes. II
• The non-sequential behaviour of Petri nets
• Title not available (Why is that?)
• Modular construction and partial order semantics of Petri nets
• On the nature of events: another perspective in concurrency
• Contextual nets
• On the nature of events
• Non sequential semantics for contextual P/T nets

Cited In (18)

• Boolean networks: beyond generalized asynchronicity
• Non sequential semantics for contextual P/T nets
• Concurrency in Boolean networks
• Pomset bisimulation and unfolding for reset Petri nets
• Partial order semantics and read arcs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Synthesis of nets with inhibitor arcs
• Title not available (Why is that?)
• Executability of scenarios in Petri nets
• Branching cells for asymmetric event structures
• Just testing
• Non-atomic transition firing in contextual nets
• Truly concurrent and nondeterministic semantics of discrete-time elementary net systems
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• Contextual Petri nets, asymmetric event structures, and processes
• On occurrence net semantics for petri nets with contacts
• Contextual nets

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

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