 Yentl Van Tendeloo
|
2a15d5d502
Fixed everything
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
acaca273c4
Updated all integration test code as well
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
25eccb9aca
PetriNet semantics checks for conformance to PetriNets first
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
b05facddd6
Added a "list" command to the petri net semantics
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9216635dce
PN operational semantics seems to work (mostly, and unpolished)
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
bdbb6db0dd
Split the petri nets operational semantics from the pn_interface
|
%!s(int64=9) %!d(string=hai) anos |
