yentl/modelverse

작성자	SHA1 메시지	날짜
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 년 전