For the most recent entries see the
Petri Nets Newsletter.
Petri Net Models of Concurrent Ada Programs.
Bisimulation and Action Refinement.
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector.
Causal Trees: Interleaving + Causality.
``Something to Tell'' about Non-Deterministic Interleaving and Concurrency.
Starke, Peter H.:
An Uninvited Adress to ``Serialisers'' and ``Non-Transitivists''.
Non-Deterministic Interleaving and the Non-Transitivity of Concurrency.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography