A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System.
Saved in:
| Title: | A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System. |
|---|---|
| Authors: | Wojnakowski, Marcin1, m.wojnakowski@issi.uz.zgora.plr.wisniewski@issi.uz.zgora.pl, Maliński, Maxim2, m.malinski@stud.uz.zgora.pl, Wiśniewski, Remigiusz1, a.obuchowicz@issi.uz.zgora.pl, Obuchowicz, Andrzej1, Li, Zhiwu3, zwli@must.edu.mo, Konarczak, Dawid4, d.konarczak@ck.uz.zgora.pl |
| Source: | Applied Sciences (2076-3417); Jan2025, Vol. 15 Issue 2, p680, 20p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 20763417 |
|---|---|
| DOI: | 10.3390/app15020680 |
