scientific article; zbMATH DE number 1341756

MaRDI QIDQ4263301zbMATH OpenFDO

Authors Serge Haddad, Denis Poitrenaud

Publication date 22 September 1999

zbMATH Keywords

multi-agent systemsreachability problemrecursive Petri nets

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 1836397
• Dynamic Recursive Petri Nets
• Recursive Petri nets
• Coverability, termination, and finiteness in recursive Petri nets
• Recursive nested Petri Nets: Analysis of semantic properties and expessibility

Cited in

(10)

• Recursive Petri nets
• Time Recursive Petri Nets
• Hornets: Nets within Nets Combined with Net Algebra
• scientific article; zbMATH DE number 4055006 (Why is no real title available?)
• scientific article; zbMATH DE number 1836397 (Why is no real title available?)
• Coverability, termination, and finiteness in recursive Petri nets
• Dynamic Recursive Petri Nets
• Recursion and Petri nets
• Coverability and Termination in Recursive Petri Nets
• A reduced maximality labeled transition system generation for recursive Petri 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 Q4263301)