Solving recursive net equations

DOI10.1007/3-540-60084-1_109MaRDI QIDQ4645215zbMATH OpenOpenAlexFDO

Authors Eike Best, Maciej Koutny

Publication date 10 January 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60084-1_109

zbMATH Keywords

denotational semanticsPetri netsrecursion

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Recursion and Petri nets
• Recursive nested Petri Nets: Analysis of semantic properties and expessibility
• Recursive Petri nets
• Operational and denotational semantics for the box algebra
• Recursive equations and basic properties of timed Petri nets

Cites work

• Finite representations of CCS and TCSP programs by automata and Petri nets
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4060688 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 107452 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 512822 (Why is no real title available?)
• Nets, Terms and Formulas
• Operational and denotational semantics for the box algebra
• Process Algebra
• S-invariant analysis of general recursive Petri boxes
• Structure of concurrency

Cited in

(8)

• Operational and denotational semantics for the box algebra
• General parameterised refinement and recursion for the M-net calculus
• On the greatest solution of equations in \(\mathrm{CLL}_R\)
• scientific article; zbMATH DE number 4047616 (Why is no real title available?)
• A refined view of the box algebra
• Petri boxes and finite precedence
• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
• A reduced maximality labeled transition system generation for recursive Petri nets

This page was built for publication: Solving recursive net equations

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