@article{(Open Science Index):https://publications.waset.org/pdf/8244, title = {Modeling and Analysis of a Cruise Control System}, author = {Anthony Spiteri Staines}, country = {}, institution = {}, 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.}, journal = {International Journal of Computer and Information Engineering}, volume = {2}, number = {2}, year = {2008}, pages = {306 - 310}, ee = {https://publications.waset.org/pdf/8244}, url = {https://publications.waset.org/vol/14}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 14, 2008}, }