On the border of causality: contact and confusion

A generic causal model for place latency

Theoretical Computer Science

Randomized Non-sequential Processes

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory

Thinking in Cycles

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets

Probabilistic cluster unfoldings

Fundamenta Informaticae

Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities

IEEE Transactions on Software Engineering

Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets

IEEE Transactions on Software Engineering

Clusters, Confusion and Unfoldings

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)

Probabilistic Cluster Unfoldings

Fundamenta Informaticae

Clusters, Confusion and Unfoldings

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)