Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling.

• Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。