Continuous Petri nets and polytopes

This article addresses the problem of the computation of instantaneous firing speed in Invariant Behavior state (IB-state) of Constant speed Continuous Petri Net (CCPN) with presence of actual conflicts. The adopted approach is based on polyhedral computations applied to specify an area of possible instantaneous firing speed. If the actual conflicts are resolved by global priorities, the instantaneous firing speed is found in a set of the polytop vertices or alternatively it is found by one formulation of the linear programming problem per each priority level. The approach shown in this article assumes the speed maximisation being prior to priority resolution.