Popular repositories Loading

1. verifydtapn verifydtapn Public

   Forked from TAPAAL/verifydtapn

   Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also for nets with weighted arcs but only with closed intervals.

   C++

2. verifytapn verifytapn Public

   Forked from TAPAAL/verifytapn

   VerifyTAPN is a stand-alone verification engine for timed-arc Petri nets, developed for the verification tool TAPAAL.

   C++ 1

3. verifypn verifypn Public

   Forked from TAPAAL/verifypn

   The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.

   C++

4. tapaal-gui tapaal-gui Public

   Forked from TAPAAL/tapaal-gui

   TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

   Java