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

    Petri nets
    specifications
    derivation
    user requirements
    Specifications
    Formal specification

    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.

    Derivation of system specifications based on a partial logical Petri net. / Togashi, Atsushi; Usui, Nobuyuki; Song, Kukhwan; Shiratori, Norio.

    In: Unknown Journal, Vol. 1, 1995, p. 521-524.

    Research output: Contribution to journalArticle

    Togashi, A, Usui, N, Song, K & Shiratori, N 1995, 'Derivation of system specifications based on a partial logical Petri net', Unknown Journal, vol. 1, pp. 521-524.
    Togashi A, Usui N, Song K, Shiratori N. Derivation of system specifications based on a partial logical Petri net. Unknown Journal. 1995;1:521-524.
    Togashi, Atsushi ; Usui, Nobuyuki ; Song, Kukhwan ; Shiratori, Norio. / Derivation of system specifications based on a partial logical Petri net. In: Unknown Journal. 1995 ; Vol. 1. pp. 521-524.
    @article{baaddd1a6a7645d58adac2949bd24d0b,
    title = "Derivation of system specifications based on a partial logical Petri net",
    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.",
    author = "Atsushi Togashi and Nobuyuki Usui and Kukhwan Song and Norio Shiratori",
    year = "1995",
    language = "English",
    volume = "1",
    pages = "521--524",
    journal = "Nuclear Physics A",
    issn = "0375-9474",
    publisher = "Elsevier",

    }

    TY - JOUR

    T1 - Derivation of system specifications based on a partial logical Petri net

    AU - Togashi, Atsushi

    AU - Usui, Nobuyuki

    AU - Song, Kukhwan

    AU - Shiratori, Norio

    PY - 1995

    Y1 - 1995

    N2 - 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.

    AB - 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.

    UR - http://www.scopus.com/inward/record.url?scp=0029191172&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0029191172&partnerID=8YFLogxK

    M3 - Article

    VL - 1

    SP - 521

    EP - 524

    JO - Nuclear Physics A

    JF - Nuclear Physics A

    SN - 0375-9474

    ER -