An automatic transformation from user requirements into formal specification described as state transition systems is proposed. It is shown that the derived transition system T(R) could be characterized by the Partial Logical Petri Nets.
|Number of pages||4|
|Publication status||Published - 1995|
ASJC Scopus subject areas
- Electrical and Electronic Engineering
- Electronic, Optical and Magnetic Materials