Timing Petri Nets categorically

DOI10.1007/3-540-55719-9_105zbMath1425.68287OpenAlexW1532093359MaRDI QIDQ5204348

Carolyn Brown, Doug Gurr

Publication date: 4 December 2019

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

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

Mathematics Subject Classification ID

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

Related Items (3)

Temporal logic and categories of Petri nets ⋮ Timing Petri Nets categorically ⋮ Processes of timed Petri nets

Cites Work

• Timing Petri Nets categorically
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Timing Petri Nets categorically