Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Kurt Jensen"'
Autor:
Kurt Jensen
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri Nets (CP-nets or CPN). It shows how CP-nets have been de veloped - from being a promising theoretical model to being a full-fledged lan guage for
Autor:
Kurt Jensen, Grzegorz Rozenberg
High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageabl
Autor:
Kurt Jensen, Lars M. Kristensen
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inher