yentl/modelverse

نویسنده	SHA1 پیام	تاریخ
Yentl Van Tendeloo	5c3d32a433 Fixed the combine_EPN transformation	8 سال پیش
Yentl Van Tendeloo	1cc7400847 Updated PN_print to also print the transitions	8 سال پیش
Yentl Van Tendeloo	d45185a261 Added new ALC to print the intermediate EPN and PN	8 سال پیش