Abstract

AbstractLinear description of interval P-time event graphs using a product idempotent semiring is proposed and applied to dead token detection. The dependence of dead token on initial condition is studied using residuation theory. Finally, the relationship with the spectral theory of matrices over product semirings is discussed.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call