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. |
Year | DOI | Venue |
---|---|---|
2010 | 10.3182/20100830-3-DE-4013.00052 | IFAC Proceedings Volumes |
Keywords | Field | DocType |
(max,+)-algebra,interval time Petri nets,product semirings | Discrete mathematics,Petri net,Algebra,Stochastic Petri net,Max algebra,Idempotence,Security token,Mathematics,Semiring | Conference |
Volume | Issue | ISSN |
43 | 12 | 1474-6670 |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pavel Spacek | 1 | 0 | 0.34 |
Jan Komenda | 2 | 147 | 21.85 |