Derivation of system specifications based on a partial logical Petri net

Atsushi Togashi, Nobuyuki Usui, Kukhwan Song, Norio Shiratori

    Research output: Contribution to journalArticle

    Abstract

    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.

    Original languageEnglish
    Pages (from-to)521-524
    Number of pages4
    JournalUnknown Journal
    Volume1
    Publication statusPublished - 1995

      Fingerprint

    ASJC Scopus subject areas

    • Electrical and Electronic Engineering
    • Electronic, Optical and Magnetic Materials

    Cite this

    Togashi, A., Usui, N., Song, K., & Shiratori, N. (1995). Derivation of system specifications based on a partial logical Petri net. Unknown Journal, 1, 521-524.