Όλο το DSpace

Πλοήγηση ανά Θέμα "Temporal logic"

Αποτελέσματα 1-2 από 2

    • Linear Time S-Component Extraction for General Petri Nets 

      Sakellariou A., Valiantzas D., Sotiriou C., Xiromeritis N., Sketopoulos N. (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 

      Giannikis, G. K.; Daskalopulu, A. (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 ...