Showing 1 - 1 results of 1 for search 'Dawid Konarczak', query time: 0.01s 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
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: