Preparing repo for Github

TAPAAL / verifytapn

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

https://www.tapaal.net

GNU General Public License v2.0

1 stars 4 forks source link

Closed yrke closed 3 years ago

yrke commented 3 years ago

[x] Check print of DBM in src/Core/SymbolicMarking/DiscretePartInclusionMarking.cpp and src/Core/SymbolicMarking/DBMMarking.cpp