DocumentCode
3004199
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
fYear
2006
fDate
10-12 July 2006
Firstpage
477
Lastpage
478
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Discrete Event Systems, 2006 8th International Workshop on
Conference_Location
Ann Arbor, MI
Print_ISBN
1-4244-0053-8
Type
conf
DOI
10.1109/WODES.2006.382524
Filename
4267674
Link To Document