presented at event 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency Conference
keywords ARCS Computer Science Computer Science, Hardware & Architecture Computer Science, Theory & Methods LOCALITIES PARTIAL SET 2-STRUCTURES PETRI NETS Petri nets SYSTEMS Science & Technology Technology regions step firing policy step transition system synthesis problem.