Extended coloured Petri nets with structured tokens formal method for distributed systems. - Khaoula Al Ali; Wolfgang Fengler 001; Bernd Däne (SpringSim (TMS-DEVS), 2011)

Modellierung und Verifikation von verteilten/parallelen Informationssystemen. - Khaoula Al Ali (2011)