research
∙
07/17/2018
Unifying Inference for Bayesian and Petri Nets
Recent work by the authors equips Petri occurrence nets (PN) with probab...
share
research
∙
02/11/2018
Event Structures for Petri nets with Persistence
Event structures are a widely accepted model of concurrency. In a semina...
research
∙
10/12/2017
Concurrency and Probability: Removing Confusion, Compositionally
Assigning a satisfactory truly concurrent semantics to Petri nets with c...
research
∙
12/10/2012
