This book presents a coherent description of the theoretical and practical aspects of coloured Petri nets (CPN), a language for the design, specification, simulation, validation and implementation of large software systems. No prior knowledge of Petri Nets is assumed. The book consists of three volumes. The introductory first volume teaches the reader to construct CPN models and analyse them by means of simulation.
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.