Researcher profile

Stefan Haar

1 paper in the PaperMetrix corpus

Publications

Papers by this author

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 …