A derivation of system specifications based on a partial logical Petri net

There has been an effort towards developing a specification language for describing processes. To this end, Formal Description Techniques (FDTs) have been proposed. FDTs in general fare well in describing a target system unambiguously, precisely, and completely. However, the drawback of these FDTs are that they are generally not user-friendly (easy to read) and are difficult to write. These drawbacks could be overcome by a new technique of automatic synthesis of formal specifications from user requirements. A state transition system is an underling structure for formal description techniques and used as a formal specification itself. In this paper, we propose an automatic transformation from user requirements into formal specification represented as state transition systems and its connection with partial logical Petri nets.