Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
Harini Kulatunga, Ashok Argent-Katwala, William J....
This paper discusses the Betty’s Brain system and our ongoing work on developing a suite of tools that assist students and teachers in classroom learning in science domains. We ...
John Wagster, Henry Kwong, Gautam Biswas, Daniel S...
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...