Event-Driven Petri Nets
Paul C. Jorgensen · Auerbach Publications eBooks · 2009
Finite state machines have become a fairly standard notation for requirements specification. All the real-time extensions of structured analysis use some form of finite state machine, and nearly all forms of object-oriented analysis require either finite state machines or their extension, statecharts. Much of Section 6.1 is taken from Software Testing: A Craftsman’s Approach (Jorgensen 2008).