6. APN 1985: Espoo, Finland
: Process periods and system reconstruction.
: Some equivalence notions for concurrent systems. An overview.
: Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs.
: Petri nets, morphisms and compositionality.
Wlodzimierz M. Zuberek
: M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets.