| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 716500 | IFAC Proceedings Volumes | 2010 | 6 Pages |
Abstract
In this paper 1-safe interval P-time Petri nets are described using linear description in an interval like idempotent semiring. This semiring, which is just the product of semirings Rmax and Rmin, enables linear letter driven description similar to the one known for timed Petri nets. Examples illustrating our approach show also an application of this description to dead token detection.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
