API call interaction with Petri Net processes
Pre-release
Pre-release
Current releases are focussed on Erlang. The code generated for C is already believed to be correct.
This code is working. At least, inasfar as covered by the test directory, which means to start a process with start/3
or start_link/3
with the generic trans_noreply/4
backend, and then bother the Petri Net with event/3
, marking/1
and both canfire/1
and canfire/2
. The tests involve various traces through a simple Petri Net for a traffic light with night mode, and a complex Kerberos/DNS/DANE/ECDHE security process to be used for Kerberos Realm Crossover, including cached old rejections and successes, as well as refreshing of the latter when they are re-requested.
The following releases are planned to arrive at complete functionality:
- 0.8 will add working
reflow
procedures, and have them tested. - 0.9 will test integration with application logic, application data, event data, return values.
- 1.0 will cleanup documentation and code, strive for good test coverage, and integrate with CMake.