B-fairness and structural B-fairness in Petri Net models of concurrent systems

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

Discrete Event Dynamic Systems

Thinking in Cycles

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

Working with the Past: Integrating History in Petri Nets

Fundamenta Informaticae - PETRI NETS 2007

History-dependent Petri nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency

Working with the Past: Integrating History in Petri Nets

Fundamenta Informaticae - PETRI NETS 2007