Bao-Trung Pham-Duy

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper introduces PeCAn, a tool supporting compositional verification of Petri nets. Beyond classical features (such as onthe-fly analysis and synchronisation between multiple Petri nets), PeCAn generates Symbolic Observation Graphs (SOG), and uses their composition to support modular abstractions of multiple Petri nets for more efficient verification.(More)
  • 1