Petri net approaches for modelling and validation

Más información sobre el libro

The successful realization of complex systems of interacting and reactive software and hardware components relies heavily on the use of a precise language at different stages of the development process. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, verification, and validation. Their popularity is due to the fact that fundamental aspects of causality, concurrency, and choice are captured by Petri nets in a natural and mathematically precise way without compromising readability. Several methods, techniques, tools, and algorithms have been developed to ease the practical work and support the basic ideas behind the usage of Petri nets in the area of system engineering. However, this does not mean that complete and ready to use systems and approaches are available or even established. Therefore, a general understanding of the potentials of Petri nets in the context of system engineering needs to be provided and distributed.