Kunihiko Hiraishi
-
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Real time identification of discrete event systems using Petri nets
Automatica (Journal of IFAC)