scientific article; zbMATH DE number 3890746

MaRDI QIDQ3347313zbMATH OpenFDO

Authors

Publication date 1985

zbMATH Keywords

reachable markings

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4037224
• scientific article; zbMATH DE number 4028914
• A symbolic reachability graph for coloured Petri nets
• scientific article; zbMATH DE number 4001495
• scientific article; zbMATH DE number 3988724

Cited in

(4)

• A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
• scientific article; zbMATH DE number 3988724 (Why is no real title available?)
• Siphons, traps and high-level nets with infinite color domains
• scientific article; zbMATH DE number 4037224 (Why is no real title available?)

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 Q3347313)