Stefan Haar

Quantum Petri Nets with Event Structures semantics

2025 · arXiv (Cornell University)

Classical Petri nets provide a canonical model of concurrency, with unfolding semantics linking nets, occurrence nets, and event structures. No comparable framework exists for quantum concurrency: existing ''quantum Petri nets'' lack rigorous concurrent and sound …