scientific article; zbMATH DE number 3890746

zbMATH Open0558.68054MaRDI QIDQ3347313FDOQ3347313

Authors:

Publication date: 1985

scientific article; zbMATH DE number Title of this publication is (Why is no real title available?)

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

zbMATH Keywords

reachable markings

Mathematics Subject Classification ID

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

Cited In (4)

• Siphons, traps and high-level nets with infinite color domains
• Title not available (Why is no real title available?)
• A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
• Title not available (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)