TY - GEN
T1 - Spectool 2.4 Beta
T2 - 8th International Workshop on Discrete Event Systems, WODES 2006
AU - Shewa, Daniel
AU - Ashley, Jeff
AU - Holloway, Larry
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/34250629565
UR - https://www.scopus.com/pages/publications/34250629565#tab=citedBy
U2 - 10.1109/wodes.2006.382524
DO - 10.1109/wodes.2006.382524
M3 - Conference contribution
AN - SCOPUS:34250629565
SN - 1424400538
SN - 9781424400539
T3 - Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006
SP - 477
EP - 478
BT - Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006
Y2 - 10 July 2006 through 12 July 2006
ER -