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

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