English Petri net Cited by user RDBrown on 29 Jun 2023 A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.
English Signal transition graphs Cited by user Alex.Yakov on 31 Jul 2021 Signal Transition Graphs (STGs) are typically used in electronic engineering and computer engineering to describe dynamic behaviour of asynchronous circuits, for the…
English Theory of regions Cited by user Alex.Yakov on 31 Jul 2021 The Theory of regions is an approach for synthesizing a Petri net from a transition system.