A polynomial-time algorithm for detecting potentially unbounded places in a Petri net-based concurrent system,
2023,
Marcin Wojnakowski , Remigiusz Wiśniewski , Mateusz Popławski ,
W: 29th International European Conference on Parallel and Distributed Computing - Euro-Par, Limassol, Cypr, --, 2023, s. 1--1,
https://2023.euro-par.org/
Kod: KON-ANG
BibTeX
(pkt. 140)