Modeling and Analysis of a Cruise Control System Year: 2008 Volume: 2 Issue: 2 458 - 462 Pages Authors: Anthony Spiteri Staines Abstract: This paper examines the modeling and analysis of a cruise control system using a Petri net based approach, task graphs, invariant analysis and behavioral properties. It shows how the structures used can be verified and optimized. Keywords: Software Engineering Real Time Analysis andDesign Petri Nets Task Graphs Parallelism.