Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Phuong-Nam Mai"'
Autor:
Étienne André, Phuong-Nam Mai, Bao-Trung Pham-Duy, Huu-Vu Nguyen, Dinh-Thuan Le, Laure Petrucci, Van-Tinh Nguyen, Thanh-Tho Quan, Yang Liu
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
ATVA
This paper introduces PeCAn, a tool supporting compositional verification of Petri nets. Beyond classical features (such as on-the-fly analysis and synchronisation between multiple Petri nets), PeCAn generates Symbolic Observation Graphs (SOG), and u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed468b02162e60856262d26718d035ff
https://doi.org/10.1007/978-3-319-11936-6_18
https://doi.org/10.1007/978-3-319-11936-6_18
