Skip to content

API call interaction with Petri Net processes

Pre-release
Pre-release
Compare
Choose a tag to compare
@vanrein vanrein released this 24 Jan 18:04
· 26 commits to master since this 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.