11.3 Specifying States in a State Machine

A state machine is a potentially reusable definition of some state-dependent behavior. State machines typically execute in the context of a block, and events experienced by the block instance may cause state transitions.

11.3.1 Region

A state machine can contain one or more regions, which together describe the state-related behavior of the state machine. Each region is defined in terms of states and pseudostates, collectively termed vertices, and transitions between those vertices. An active region has exactly one active state within it. The difference between a state and a pseudostate is that a region can never stay in pseudostate; it merely exists to help determine the next active state.

A state machine ...

Get A Practical Guide to SysML, 2nd Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.