A New Graph of Classes for the Preservation of Quantitative Temporal Constraints

The objective of this paper is to present a new abstract state space for t-time Petri nets which associates with each path in this space a sequence effectively firable in the net. This means that this state space has to exactly (in a quantitative way) define the set of constraints which have to be v...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Mao, Xiaoyu, Cardoso, Janette, Valette, Robert
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Exact sciences and technology Initial Class Restricted Class Software Software engineering State Class Temporal Constraint Temporal Network
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!