scientific article; zbMATH DE number 4215383

MaRDI QIDQ3361901zbMATH OpenFDO

Authors Dongik Lee, Sadatoshi Kumagai, Shinzo Kodama

Publication date 1990

zbMATH Keywords

Petri netsreachability

Mathematics Subject Classification ID

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

Recommendations

• On the complexity of L-reachability
• On the complexity of L-reachability
• Reachability, observability and strict equivalence of networks of linear systems
• scientific article; zbMATH DE number 1799527
• Approximate Symbolic Reachability of Networks of Transition Systems
• scientific article; zbMATH DE number 762060
• Reachability in choice networks
• On the Reachability Analysis of Acyclic Networks of Pushdown Systems

Cited in

(4)

• scientific article; zbMATH DE number 1799527 (Why is no real title available?)
• scientific article; zbMATH DE number 862267 (Why is no real title available?)
• Topological reverse mirroring: a new efficient knowledge-based methodology of reachability analysis for Petri nets
• Handles and reachability analysis of free choice 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 Q3361901)