andrei/modelverse

برگرفته از yentl/modelverse

نویسنده	SHA1 پیام	تاریخ
Yentl Van Tendeloo	2aeae868fb Fix many tests	8 سال پیش
Yentl Van Tendeloo	4a794f550b Fixed test_mvc.py tests	8 سال پیش
Yentl Van Tendeloo	cada57dcad Some documentation on the MvC operations	8 سال پیش
Yentl Van Tendeloo	2bd562bb6a Fixed PM and related formalisms/algorithms: reachability starts running	8 سال پیش
Yentl Van Tendeloo	83f9424d0e Added simple PM for petri net construction and reachability analysis	8 سال پیش