In this paper we present a novel formulation for the modeling and control of discrete event dynamic systems. This original approach leads to a discrete-event state equations formulation satisfying Kalman axioms, where the state is defined as the sequence of potential events (enabled transitions in terms of Petri net language) forced by the occurrence of state events (free evolution) or by arbitrary input events (forced evolution). The proposed formulation is considered to be very general and appropriate to any discrete event systems. This conviction is supported by the analysis performed by comparing discrete-event state equations with classical discrete-event models like untimed and timed Petri nets, finite-state timed and untimed automata. We show that all these models can be formulated as a sub-class of the discrete-event state equations.

Discrete-event state equations and Petri Nets / Canuto, Enrico; Balduzzi, F.. - STAMPA. - (1999), pp. 160-175. (Intervento presentato al convegno 7th IEEE Mediterranean Conf. on Control and Automaton tenutosi a Haifa, Israel nel June 28-30, 1999).

Discrete-event state equations and Petri Nets

CANUTO, Enrico;
1999

Abstract

In this paper we present a novel formulation for the modeling and control of discrete event dynamic systems. This original approach leads to a discrete-event state equations formulation satisfying Kalman axioms, where the state is defined as the sequence of potential events (enabled transitions in terms of Petri net language) forced by the occurrence of state events (free evolution) or by arbitrary input events (forced evolution). The proposed formulation is considered to be very general and appropriate to any discrete event systems. This conviction is supported by the analysis performed by comparing discrete-event state equations with classical discrete-event models like untimed and timed Petri nets, finite-state timed and untimed automata. We show that all these models can be formulated as a sub-class of the discrete-event state equations.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11583/1409356
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo