Research on the Particular Subclass of a Class Coloured Petri Nets

摘要

This article presents a particular subclass of class coloured Petri nets, that's abbreviated as HLP (high-level particular Petri net). In this subclass it's possible to resolve the system of equations that's providing linear invariants of the subclass. The paperwork presents an efficient method for establishing such invariants.