Dynamic Recursive Petri Nets

DOI10.1007/978-3-030-51831-8_17MaRDI QIDQ5100760zbMATH OpenOpenAlexFDO

Authors Serge Haddad, Igor Khmelnitsky

Publication date 1 September 2022

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-51831-8_17

zbMATH Keywords

coverabilitydecidabilityexpressivenessrecursive Petri nets

Mathematics Subject Classification ID

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

Recommendations

• Recursive Petri nets
• scientific article; zbMATH DE number 1341756
• Recursion and Petri nets
• Dynamic networks of timed Petri nets
• Petri-Netze
• scientific article; zbMATH DE number 3922334
• Petri nets
• scientific article; zbMATH DE number 979001
• Time Recursive Petri Nets
• scientific article; zbMATH DE number 1836397

Cites work

• A well-structured framework for analysing Petri net extensions
• Coverability, termination, and finiteness in recursive Petri nets
• scientific article; zbMATH DE number 3646295 (Why is no real title available?)
• scientific article; zbMATH DE number 1223710 (Why is no real title available?)
• scientific article; zbMATH DE number 1341756 (Why is no real title available?)
• scientific article; zbMATH DE number 1836397 (Why is no real title available?)
• Nested Petri nets: Multi-level and recursive systems.
• On functions weakly computable by Petri nets and vector addition systems
• Process rewrite systems.
• Recursive Petri nets
• The logical view on continuous Petri nets
• Well-structured transition systems everywhere!

Cited in

(7)

• Recursive Petri nets
• scientific article; zbMATH DE number 4055006 (Why is no real title available?)
• scientific article; zbMATH DE number 1341756 (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
• Recursion and Petri nets
• Coverability and Termination in Recursive Petri Nets

This page was built for publication: Dynamic Recursive Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5100760)