Yentl Van Tendeloo 48d70a2c90 Fixes for PN and CTCBD and DTCBD transformations 3 years ago
..
ActionLanguage d3c48605dc Move files to nicer folders 3 years ago
CTCBD 67bb9b16cd Fixed invalid process models 3 years ago
ClassicDEVS dabcac9e4b Add some more notebooks and some bugs as well... 3 years ago
Conformance d449cc0843 Updated MetaDepth conformance semantics as well 3 years ago
DTCBD 48d70a2c90 Fixes for PN and CTCBD and DTCBD transformations 3 years ago
DiscreteEventTrace d3c48605dc Move files to nicer folders 3 years ago
EncapsulatedPetriNets 492b5227a5 Some additional renames 3 years ago
FTGPM 7aa25ebfec Fixed compilation error in to_SCCD model 3 years ago
FiniteStateAutomata 67bb9b16cd Fixed invalid process models 3 years ago
ObjectDiagrams d3c48605dc Move files to nicer folders 3 years ago
PNPath 7f43973241 Patched several things to make analyze_LoLA work as notebook 3 years ago
ParallelDEVS 27a3038e36 Updated two example scripts 3 years ago
PetriNets 48d70a2c90 Fixes for PN and CTCBD and DTCBD transformations 3 years ago
PowerWindow 487f0ff9cd Added various operations; start working on the LoLa code 3 years ago
PythonPDEVS_Experiment d3c48605dc Move files to nicer folders 3 years ago
ReachabilityGraph d3c48605dc Move files to nicer folders 3 years ago
SCCD 55c5f467e9 Add example file 3 years ago
SafetyQuery cd43244d48 Add working LoLA code 3 years ago
Signal d3c48605dc Move files to nicer folders 3 years ago
String d3c48605dc Move files to nicer folders 3 years ago
generic a15ec692a4 Merge branch 'live_modelling' into formalisms 3 years ago
render ed913b074b Add CBD rendering example (graphical) 3 years ago