scientific article; zbMATH DE number 1435983

MaRDI QIDQ4948012zbMATH OpenFDO

Authors Nadia Busi, G. Michele Pinna

Publication date 26 April 2000

zbMATH Keywords

Contextual P/T nets

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1556864
• scientific article; zbMATH DE number 1696460
• Process semantics of general inhibitor nets
• scientific article; zbMATH DE number 1759628

Cited in

(17)

• Executability of scenarios in Petri nets
• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Place/transition nets with debit arcs
• Analysis issues in Petri nets with inhibitor arcs
• Interval semantics for Petri nets with inhibitor arcs
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Classifying invariant structures of step traces
• scientific article; zbMATH DE number 1696460 (Why is no real title available?)
• On interval process semantics of Petri nets with inhibitor arcs
• Non-atomic transition firing in contextual nets
• Synthesis of Petri nets with whole-place operations and localities
• Infinite Process Semantics of Inhibitor Nets
• scientific article; zbMATH DE number 1223715 (Why is no real title available?)
• scientific article; zbMATH DE number 1759628 (Why is no real title available?)
• scientific article; zbMATH DE number 1361506 (Why is no real title available?)
• Step traces
• Process semantics of general inhibitor nets

This page was built for publication:

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