On questions of fairness and temporal logic for conflict-free Petri nets

On Supervisory Policies that Enforce Global Fairness andBounded Fairness in Partially Controlled Petri Nets

Discrete Event Dynamic Systems

Decidability analysis of self-stabilization for infinite-state systems

Fundamenta Informaticae

Petri nets with simple circuits

COCOON'03 Proceedings of the 9th annual international conference on Computing and combinatorics

Decidability Analysis of Self-Stabilization for Infinite-State Systems

Fundamenta Informaticae

Reachability In Some Classes Of Acyclic Petri Nets

Fundamenta Informaticae

Reachability In Some Classes Of Acyclic Petri Nets

Fundamenta Informaticae