yentl/modelverse

Автор	SHA1 Опис	Дата
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 роки тому