全能
发表于 2025-4-2 23:31:57
Modular state space analysis of coloured Petri Nets,paces. Several ways to reduce it have been proposed but cannot yet handle industrial size systems..Large models often consist of a set of modules. Local properties of each module can be checked separately, before checking the validity of the entire system. We want to avoid the construction of a sing