Invariants of Timed Petri Nets |
| |
| Authors: | D A Zaitsev |
| |
| Affiliation: | (1) A. S. Popov National Academy of Communications, Odessa, Ukraine |
| |
| Abstract: | A linear fundamental equation for a timed Petri net is constructed. Full and partial invariants of state and behavior of a timed Petri net are introduced. Properties of invariant nets are analyzed. Interrelations of full and partial invariants are shown. Examples of analysis of net models of production systems and processes are described. |
| |
| Keywords: | timed Petri net invariant partial invariant |
| 本文献已被 SpringerLink 等数据库收录！ |
