lucas/modelverse

Автор	SHA1 Съобщение	Дата
Yentl Van Tendeloo	2a15d5d502 Fixed everything	преди 8 години
Yentl Van Tendeloo	acaca273c4 Updated all integration test code as well	преди 8 години
Yentl Van Tendeloo	25eccb9aca PetriNet semantics checks for conformance to PetriNets first	преди 9 години
Yentl Van Tendeloo	b05facddd6 Added a "list" command to the petri net semantics	преди 9 години
Yentl Van Tendeloo	9216635dce PN operational semantics seems to work (mostly, and unpolished)	преди 9 години
Yentl Van Tendeloo	bdbb6db0dd Split the petri nets operational semantics from the pn_interface	преди 9 години