N. Types, 129 4.3 Regions as Morphisms and Synthesized Nets, p.136

T. Concurrency-into-account and ?. , 164 5.3.1 Transition Systems with a Concurrency Relation, p.169

A. Synthesis-of-pure and P. , 218 7.3 Synthesis of Impure P, Synthesis of Bounded Nets from Regular Languages, vol.220, issue.74, p.222

?. Systems, 238 8.5 Synthesis of Nets from Infinite Transition Systems ?, p.246

?. Firing-rule, 253 9.1 Regions of Step Transition Systems, 254 9.2 P/T-Net Realization of Finite Step Transition Systems . . . . . . . 255 9.3 P/T-Net Realization of Step Languages . . . . . . . . . . . . . . . . . . . . 259

?. 11-process-discovery, 283 11.1 Discovering Workflow Nets from Event Logs, P/T Net Identification, vol.287, issue.3, pp.11-295

?. 12-supervisory-control, 301 12.1 Ramadge and Wonham's Theory of Supervisory Control, p.301

P. Net, S. Control, and .. , 304 12.3 Region-Based Supervisory Control of Petri Nets, 305 12.4 Region-Based Supervisory Control of Discrete Event Systems . 312 12.5 Distributed Control of Discrete Event Systems, p.315