 Yentl Van Tendeloo
|
41c0641a66
Fixed everything
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
d6f1ef4573
Updated all integration test code as well
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
5ed2215925
PetriNet semantics checks for conformance to PetriNets first
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
2d113a4826
Added a "list" command to the petri net semantics
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
abf36256d6
PN operational semantics seems to work (mostly, and unpolished)
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
65bc1c06ee
Split the petri nets operational semantics from the pn_interface
|
%!s(int64=9) %!d(string=hai) anos |
