Alpha algorithm: Difference between revisions

Revision as of 14:13, 13 November 2021

Revision as of 08:37, 5 January 2022

Line 78:

== Patterns ==

[[File:Sequence_pattern_for_petri_nets.png|alt=Sequence Pattern|349x349px]] '''Sequence Pattern: A → B''' [[File:Xor-split_pattern_for_petri_nets.png|alt=XOR-split Pattern|321x321px]] '''XOR-split Pattern: A → B, A → C,''' and '''B ||# C'''

[[File:And-split_pattern_for_petri_nets.png|alt=AND-split Pattern|321x321px]] '''AND-split Pattern: A → B, A → C,''' and '''B #|| C'''

==Description==