Recursion and Petri nets

DOI10.1007/PL00013309MaRDI QIDQ5950717zbMATH OpenFDO

Authors Eike Best, Raymond Devillers, Maciej Koutny

Publication date 13 December 2001

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/PL00013309

zbMATH Keywords

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
• Dynamic Recursive Petri Nets
• scientific article; zbMATH DE number 4092787
• Petri nets and bisimulation
• scientific article; zbMATH DE number 4001494
• scientific article; zbMATH DE number 1836397
• scientific article; zbMATH DE number 3988722
• scientific article; zbMATH DE number 2088664
• scientific article; zbMATH DE number 3922334

Cited in

(4)

• Dynamic Recursive Petri Nets
• Recursive Functions with Pattern Matching in Interaction Nets
• Solving recursive net equations
• scientific article; zbMATH DE number 4055006 (Why is no real title available?)

This page was built for publication: Recursion and Petri nets

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