Familiarise yourself with the Petri Net plugin and Signal Transition Graph plugin before proceeding with these tutorials. The tools and controls for Finite State Machine plugin are similar.
In this tutorials you will learn how to use Finite State Machine and Petri net models to capture causality and concurrency relations between events.