// Place global declarations here. const int N := 5; chan dial[N]; chan connect[N]; chan busy[N]; chan disconnect[N]; chan disconnected[N]; chan dialled[N]; int[0,N] anrufen[N]; // Nummer, die Teilnehmer i anruft int[0,N] aktiv[N]; // mit wem redet i
Teilnehmer
int[1,N] ich
// Place local declarations here. clock y; clock dauer;
verbunden
gewaehlt
start
Telefonsystem
int[1,N] caller; int[1,N] calling; clock x; int[1,N] tmp;
// Place template instantiations here. Tel1 = Teilnehmer(1); Tel2 = Teilnehmer(2); Tel3 = Teilnehmer(3); Tel4 = Teilnehmer(4); Verbindung = Telefonsystem(); // List one or more processes to be composed into a system. system Tel1, Tel2, Tel3, Tel4, Verbindung;