129 4.3 Regions as Morphisms and Synthesized Nets, p.136 ,
164 5.3.1 Transition Systems with a Concurrency Relation, p.169 ,
218 7.3 Synthesis of Impure P, Synthesis of Bounded Nets from Regular Languages, vol.220, issue.74, p.222 ,
238 8.5 Synthesis of Nets from Infinite Transition Systems ?, p.246 ,
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 ,
283 11.1 Discovering Workflow Nets from Event Logs, P/T Net Identification, vol.287, issue.3, pp.11-295 ,
301 12.1 Ramadge and Wonham's Theory of Supervisory Control, p.301 ,
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 ,