CORE
COnnecting
REpositories

    24,661 research outputs found

    A unified approach for deciding the existence of certain petri net paths

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    A valuation-based analysis of conflict-free Petri nets

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    Introduction to Petri Net Theory

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    A note on fine covers and iterable factors of VAS languages

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    A multiparameter analysis of domino tiling with an application to concurrent systems

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    Path Decomposition and Semilinearity of Petri Nets

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    On reachability equivalence for BPP-nets

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    On the Regularity of Petri Net Languages

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository

    Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems

    Author
    Publication venue
    Publication date
    Field of study
    No full text
    National Taiwan University Repository
    • …
    corecore