%0 Journal Article
	%A Anthony Spiteri Staines
	%D 2008
	%J International Journal of Computer and Information Engineering
	%B World Academy of Science, Engineering and Technology
	%I Open Science Index 14, 2008
	%T Modeling and Analysis of a Cruise Control System
	%U https://publications.waset.org/pdf/8244
	%V 14
	%X 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.
	%P 306 - 310