A Derivation of System Specifications Based on a Partial Logical Petri Net. - Atsushi Togashi; Nobuyuki Usui; Kukhwan Song; Norio Shiratori (ISCAS, 1995)