Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems

Daniel Shewa; Jeff Ashley; Larry Holloway

doi:10.1109/wodes.2006.382524

Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems

Daniel Shewa, Jeff Ashley, Larry Holloway

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Scopus citations

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.

Original language	English
Title of host publication	Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006
Pages	477-478
Number of pages	2
DOIs	https://doi.org/10.1109/wodes.2006.382524
State	Published - 2006
Event	8th International Workshop on Discrete Event Systems, WODES 2006 - Ann Arbor, MI, United States Duration: Jul 10 2006 → Jul 12 2006

Publication series

Name	Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006

Conference

Conference	8th International Workshop on Discrete Event Systems, WODES 2006
Country/Territory	United States
City	Ann Arbor, MI
Period	7/10/06 → 7/12/06

ASJC Scopus subject areas

General Computer Science
Control and Systems Engineering

Access to Document

10.1109/wodes.2006.382524

Cite this

Shewa, D., Ashley, J., & Holloway, L. (2006). Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems. In Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006 (pp. 477-478). (Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006). https://doi.org/10.1109/wodes.2006.382524

@inproceedings{7dcb6f15e3ac467a9cf3cf3d31858a00,

title = "Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems",

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.",

author = "Daniel Shewa and Jeff Ashley and Larry Holloway",

year = "2006",

doi = "10.1109/wodes.2006.382524",

language = "English",

isbn = "1424400538",

series = "Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006",

pages = "477--478",

booktitle = "Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006",

note = "8th International Workshop on Discrete Event Systems, WODES 2006 ; Conference date: 10-07-2006 Through 12-07-2006",

}

Shewa, D, Ashley, J & Holloway, L 2006, Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems. in Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006. Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006, pp. 477-478, 8th International Workshop on Discrete Event Systems, WODES 2006, Ann Arbor, MI, United States, 7/10/06. https://doi.org/10.1109/wodes.2006.382524

Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems. / Shewa, Daniel; Ashley, Jeff; Holloway, Larry.
Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006. 2006. p. 477-478 (Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 - http://www.scopus.com/inward/record.url?scp=34250629565&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34250629565&partnerID=8YFLogxK

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 -

Spectool 2.4 Beta: A research tool for modular modeling, analysis, and synthesis of discrete event systems

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this