Parameterized reachability trees for algebraic Petri nets

DOI10.1007/3-540-60029-9_51zbMath1496.68246OpenAlexW1527392005MaRDI QIDQ5096373

No author found.

Publication date: 16 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60029-9_51

Mathematics Subject Classification ID

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

Related Items (1)

Solving high-level Petri games

Cites Work

• Petri nets and algebraic specifications
• Coloured Petri nets and the invariant-method
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Parameterized reachability trees for algebraic Petri nets