Borusan, A.A.Borusan2022-03-092022-03-091994https://publica.fraunhofer.de/handle/publica/32281110.1109/ICSMC.1994.400026A coloured Petri nets based specification and verification concept for complex real-time systems are presented The verification technique proposed in this paper requires the construction of the labelled state graphs to the given functional model and architecture model to prove that both have the same legal trajectories regarding the same set of observables.enEchtzeitsystempetri netPetrinetzreal-time systemspecificationSpezifikationverificationverification004conference paper