A Derivation of System Specifications Based on a Partial Logical Petri Net.

Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori

Browse the full ISCAS paper archive.