Showing 1 - 1 results of 1 for search '"transition invariants"', query time: 0.03s Refine Results
  1. 1
    A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System

    A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System by Marcin Wojnakowski, Maxim Maliński, Remigiusz Wiśniewski, Andrzej Obuchowicz, Zhiwu Li, Dawid Konarczak

    Published 2025-01-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: