Seatzu, C.

• Giua, A.; Mahulea, C.; Recalde, L.; Seatzu, C.; Silva, M.:
  Optimal Control of Timed Continuous Petri Nets via Explicit MPC. 2006.

• Giua, Alessandro; Corona, Daniele; Seatzu, Carla:
  State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions. 2005.

• Giua, Alessandro; Corona, Daniele; Seatzu, Carla:
  State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions. 2005.

• Corona, D.; Giua, A.; Seatzu, C.; Júlvez, J.:
  Observers for nondeterministic lambda-free labelled Petri nets. 2003.

• Giua, A.; Júlvez, J.; Seatzu, C.:
  Marking Estimation of Petri Nets based on Partial Observation. 2003.

• Giua, A.; Seatzu, C.:
  Liveness enforcing supervisors for railway networks using ES2PR Petri nets. 2002.

• Meloni, Alberto; Pilloni, Maria Teresa; Seatzu, Carla; Giua, A.:
  Modeling of a bottling plant using hybrid Petri nets. 2002.

• Giua, A.; Seatzu, C.:
  Observability of Place/Transition Nets. 2002.

• Giua, A.; Piccaluga, A.; Seatzu, C.:
  Firing Rate Optimization of Cyclic Timed Event Graphs. 2002.

• Balduzzi, Fabio; Di Febbraro, Angela; Giua, Alessandro; Seatzu, Carla:
  Decidability results in first-order hybrid Petri nets. 2001.

• Balduzzi, F.; Giua, A.; Seatzu, C.:
  Modeling and simulation of manufacturing systems with first-order hybrid Petri nets. 2001.

• Giua, Alessandro; Seatzu, C.:
  Design of observers/controllers for discrete event systems using Petri nets. 2001.

• Giua, Alessandro; Seatzu, C.:
  Supervisory control of railway networks with Petri nets. 2001.

• Basile, F.; Chiacchio, P.; Giua, Alessandro; Seatzu, C.:
  Deadlock recovery of controlled Petri net models using observers. 2001.

• Giua, Alessandro; Seatzu, C.:
  The Observer Coverability Graph for the Analysis of Observability Properties of Place/Transitions Nets. 2001.

• Giua, Alessandro; Seatzu, C.:
  Observability properties of Petri nets. 2000.

• Giua, Alessandro; Piccaluga, A.; Seatzu, C.:
  Optimal token allocation in timed cyclic event-graphs. 2000.

• Giua, Alessandro; Piccaluga, A.; Seatzu, C.:
  Incremental Optimization of Timed Cyclic Event Graphs. 2000.

• Balduzzi, F.; Menga, G.; Giua, A.; Seatzu, C.:
  A Linear State Variable Model for First-Order Hybrid Petri Nets. 1999.

• Guia, A.; Seatzu, C.:
  Manufacturing system control with Petri net observers. 1998.

• Basile, F.; Giua, A.; Seatzu, C.:
  Petri net control using event observers and timing information. 02.

• Diana, F.; Giua, Alessandro; Seatzu, C.:
  Safeness-Enforcing Supervisory Control for Railway Networks. 01.

Back to the Petri Nets Bibliography