Title :
Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems.
Author :
Shewa, Daniel ; Ashley, Jeff ; Holloway, Larry
Abstract :
Condition systems are an excellent choice for the modeling and analysis of distributed systems. A condition system is a distributed Petri net where the distributed models communicate via state-based condition signals. In this paper the salient points of Spectool 2.4 Beta are presented. Spectool 2.4 Beta is a new release of our condition system modeling, analysis, and control synthesis tool. The paper begins with a brief review of our work using condition systems. We then present the features of this tool
Keywords :
Petri nets; control system CAD; control system analysis computing; discrete event systems; software tools; Spectool 2.4 Beta; condition systems; control synthesis tool; discrete event systems; distributed systems analysis; distributed systems modeling; research tool; state-based condition signals; Automatic control; Circuit synthesis; Control system analysis; Control system synthesis; Control systems; Discrete event systems; Fault detection; Fault diagnosis; Modeling; Signal synthesis;
Conference_Titel :
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location :
Ann Arbor, MI
Print_ISBN :
1-4244-0053-8
DOI :
10.1109/WODES.2006.382524
