Listar por tema "Temporal logic"
Mostrando ítems 1-2 de 2
-
Linear Time S-Component Extraction for General Petri Nets
(2019)In this work, we present a linear time, S-component extraction algorithm capable of handling strongly connected, General Petri Nets. Most prior works have focused exclusively on Free-Choice or Extended Free-Choice Nets. ... -
The representation of e-contracts as default theories
(2007)It is widely acknowledged that a temporal representation of e-contracts is essential in order to support e-contract execution and performance monitoring. One possibility that has been explored by many researchers is to ...