Petri Nets in Software Engineering von Prof. Dr. Robert Gold ...
the verification activities module test, integration test and system test between ... gration in a real-time operating system additional timing information is needed, ... Petri nets place/transition nets form a simple but in many cases practically.
