Allowed event conflict example

Preamble

Allowed event conflict example is a software case study, which is implemented in PauWare engine.

Resources

Installation requirements

Scenario

Change the Boolean values of the g1, g2, g3 and g4 guards in the Allowed_event_conflict_example.java file (main program) in order to understand PauWare engine management policy of "allowed events" against "common" events.

Specification