This section will discuss how failure of actions is handled in ASTRA. This is a place holder, with some material copied from other areas as part of a restructuring of the guide.
Failure Example
Simple program that fails…
package example; agent Failer { module System system; initial !init(); rule +!init() { system.fail(); } }