TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531)

From MaRDI portal
scientific article
Language Label Description Also known as
English
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
scientific article

    Statements

    TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 June 2014
    0 references
    formal verification
    0 references
    TCTL
    0 references
    timed-arc Petri nets
    0 references
    timed automata
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers