// ************************************************************************** // // eses eses // eses eses // eses eseses esesese eses Embedded Systems Group // ese ese ese ese ese // ese eseseses eseseses ese Department of Computer Science // eses eses ese eses // eses eseses eseseses eses University of Kaiserslautern // eses eses // // ************************************************************************** // Two parallel bouncing balls are modeled, additionally an observer(n) that // monitors the overall number of bounces is created. // // // The example has been taken from the following reference: // @phdthesis{Baue12, // key ={Baue12}, // author ={K. Bauer}, // title ={A New Modelling Language for Cyber-physical Systems}, // address ={Kaiserslautern, Germany}, // editor ={K. Schneider and R. Majumdar}, // month ={January}, // school ={Department of Computer Science, University of Kaiserslautern, Germany}, // year ={2012}, // note ={PhD}, // remark ={rsg} // } // ****************************************************************************** module TwoBalls(){ int n, n1, n2; Ball (10.0, 0.0, n1); || Ball (5.0, 1.0, n2); || loop{ n = n1 + n2;// n counts the overall number of bounces at all discrete points of time pause; } }