Skip to content

0.1.5

Compare
Choose a tag to compare
@joergen7 joergen7 released this 04 Aug 12:57
· 23 commits to master since this release

This release fixes a condition where the marking of a net could be observed in an inconsistent state because a transition already consumed from its preset but did not yet produce to its postset. Now, consuming and producing are atomic and intermediate states cannot be observed anymore.