Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sergei Ten"'
Publikováno v:
Formal Methods in System Design. 12:5-38
This paper suggests a way for Petri Net analysis by checking the ordering relations between places and transitions. The method is based on unfolding the original net into an equivalent acyclic description. We improved on the previously known cutoff c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3de784c1dd7ab16070dbbc9da954a446
https://doi.org/10.1023/a:1008669013857
https://doi.org/10.1023/a:1008669013857
