Typestate-Oriented Design A Coloured Petri Net Approach Jorge Luis Guevara D´ıaz

Source URL: vision.ime.usp.br

• Diagrams
• Software engineering
• Computing
• Petri nets
• Iterator
• Finite-state machine
• Petriscript
• TAPAAL Model Checker
• Models of computation
• Formal methods
• Concurrency