In: Cybernetics and Systems Analysis, vol. 40, no. 2, pages 226-237. 2004.
Abstract: A linear fundamental equation of timed Petri net is constructed. Full and partial invariants of state and behavior of timed Petri net are introduced. Properties of the invariant nets are investigated. Interrelations of the full and partial invariants are explained. Examples of analysis for net models of production systems and processes are described.
Keywords: timed Petri net; fundamental equation; partial invariant; full invariant.