Refinement of coloured petri nets

DOI10.1007/BFB0036175MaRDI QIDQ5055925

Thomas Thielke, Eike Best

Publication date: 9 December 2022

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (2)

General parameterised refinement and recursion for the M-net calculus ⋮ M-nets: a survey

Cites Work

• S-invariant analysis of general recursive Petri boxes
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Refinement of coloured petri nets