~verifypn-cpn/verifypn/unitTest

• Changes
• Files

~verifypn-cpn/verifypn/unitTest » Changes to PetriEngine/Colored from revision 223

From Revision 223

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
200		merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/ merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/ CPN unfolding CPN linear overapproximation Export of reduced queries and model parallel query simplification TAR for P/T nets Improved structural reduction rules	Jiri Srba	6 years ago

Loggerhead is a web-based interface for Breezy
Version: 2.0.1