Non sequential semantics for contextual P/T nets

DOI10.1007/3-540-61363-3_7MaRDI QIDQ4633159zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• A calculus of mobile processes. II
• Concurrent bisimulations in Petri nets
• Contextual nets
• Modular construction and partial order semantics of Petri nets
• Non sequential semantics for contextual P/T nets
• On the nature of events
• On the nature of events: another perspective in concurrency
• The non-sequential behaviour of Petri nets

Cited in

(18)

• Boolean networks: beyond generalized asynchronicity
• Pomset bisimulation and unfolding for reset Petri nets
• Non sequential semantics for contextual P/T nets
• Concurrency in Boolean networks
• Partial order semantics and read arcs
• scientific article; zbMATH DE number 1973129 (Why is no real title available?)
• scientific article; zbMATH DE number 1556864 (Why is no real title available?)
• Synthesis of nets with inhibitor arcs
• scientific article; zbMATH DE number 1189293 (Why is no real title available?)
• 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)