scientific article; zbMATH DE number 1751908

zbMATH Open1017.68083MaRDI QIDQ4533003FDOQ4533003

Authors: Piotr Miczulski 

Publication date: 6 June 2002

Title of this publication is not available (Why is that?)

Recommendations

• Computing a hierarchical static order for decision diagram-based representation from P/T nets
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
• Hierarchical reachability graph generation for Petri nets
• scientific article; zbMATH DE number 2088658
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

zbMATH Keywords

Petri netshierarchical reachability graph

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• State space analysis of Petri nets with relation-algebraic methods
• Planning without state space explosion: Petri net to Markov decision process
• Computing a hierarchical static order for decision diagram-based representation from P/T 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 Q4533003)