1. Petri-net
Class diagram/state chart (FSM-like UML): minor change from FSM: logic/alg, formal method
Petri-Net (not part of UML too hard): formal method (math), active research tools (Internet, os, …)
motivation: system resources/dynamics
bankers paradox
transition, state, tokens, firing
examples: library + course taking
State diagram: a different version of FSM

2. Some problem solving and complexity considerations
Difference equation formulation for time complexity analysis, e.g. Fibonacci sequence
T(n)=T(n-1)+T(n-2)
Linear time and log time Fibonacci: dynamic programming and efficient power function
Quickselect (time complexity?)
OOA/OOD/OOP: diff and similarity

3. Jackson System Development (JSD) vanguard of OOA/FP era
identify entities/obj and functionalities
organize entity/func by three notations (JSD tree)
NL paragraphs for each rectangle
e.g., elevator control system;
library system
Semi-formal method
Example: library managements and elevator control system