Stochastic petri nets

More about the book

Developers of discrete event systems prioritize functional correctness, ensuring that the system exhibits essential qualitative properties. Once functionality is confirmed, efficiency becomes crucial, as performance measures like running costs and execution time often determine the system's success. Ideally, developers would specify, design, implement, and test their systems for both functional correctness and performance using a single formalism, but such a formalism is currently lacking. Recently, the graphical version of the Specification and Description Language (SDL) has gained popularity for specifying, designing, and partially implementing discrete systems. However, testing for functional correctness in SDL relies on time-consuming simulations, and performance analysis is not directly achievable. While Petri nets offer a graphical format, they can be cumbersome for large, complex systems. Nonetheless, they were specifically designed to test discrete, distributed systems for functional correctness. Using a Petri net specification allows for testing aspects such as deadlock, liveness, and boundedness, making it a valuable tool in the developer's toolkit.