Content
@
https://warpcast.com/~/channel/pflow-xyz
0 reply
0 recast
0 reaction
Matt York
@stackdump.eth
Using workflow models on pflow.xyz This looser rule set still respects most petri-net rules, but state is only governed by a simple principle: "The net MUST have only 1 token at a time." Standard Petri-net resource restriction is relaxed: Unlike the standard petri-net rules: "place2" need not be populated for "txn2" to be active See another example: https://gist.github.com/stackdump/7c94f51fc8996d6f9883dab5c8b7d846
1 reply
0 recast
0 reaction
Matt York
@stackdump.eth
It's easiest to see the difference between the different supported algorithms in the rust implementation. Compare 'elementary' vs 'workflow' vs 'petriNet' https://github.com/pflow-xyz/metamodel-rs/blob/b2594e4ac210bcf06093fc8450f6564c223c586a/src/vasm.rs#L265-L339
0 reply
0 recast
0 reaction
