Kategooria värvitud petri võrgud - 1 õppematerjal

Värvitud Petri võrgud CPN eksami konspekt

1 System development • Modelling in early system development stage corrects design errors before construction. • Beneficial modelling reasons (– Insight: in the design and operation of a system – Completeness: detection of missing parts for simulation and a better understanding of the system requirements – Correctness: errors and flaws are usually detected, problematic scenarios can be reproduced, systematic error investigation) 2 Introduction CPN • CPN is a graphical language for concurrent system design and analysis and also general-purpose modelling environment and also applicable for industrial projects and high level programming. • Petri nets provide(– graphical notation– modelling concurrency, communication, synchronisation) • CPN application domains that are typical(– communication protocols, data networks, distributed algorithms) • ...