For the most recent entries see the
Petri Nets Newsletter.
Giua, A.
-
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.
-
Basile, F.;
Chiacchio, P.;
Giua, Alessandro:
Optimal Petri Net Monitor Design.
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.
-
Basile, F.;
Chiacchio, P.;
Giua, Alessandro:
Optimal control of Petri net monitors with control and observation costs.
2000.
-
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.
-
Gaubert, S.;
Giua, Alessandro:
Petri Net Languages and Infinite Subsets of Nm.
1999.
-
Balduzzi, F.;
Menga, G.;
Giua, A.:
Hybrid Stochastic Petri Nets: firing speed computation and FMS modelling.
1998.
-
Balduzzi, F.;
Menga, G.;
Giua, A.:
Optimal Speeds Allocation and Sensitivity Analysis for Hybrid Stochastic Petri Nets.
1998.
-
Fanni, A.;
Giua, A.:
Discrete event representation of qualitative models using Petri nets.
1998.
-
Giua, A.;
Usai, E.:
Modelling Hybrid Systems by High-Level Petri Nets.
1998.
-
Basile, F.;
Chiacchio, P.;
Giua, Alessandro:
On the Choice of Suboptimal Monitor Places for Supervisory Control of Petri Nets.
1998.
-
Basile, F.;
Chiacchio, P.;
Giua, Alessandro:
Supervisory Control of Petri Nets Based on Suboptimal Monitors Places.
1998.
-
Corriga, G.;
Giua, Alessandro;
Usai, G.:
Petri Net Modeling of Irrigation Canal Networks.
1998.
-
Corriga, G.;
Giua, A.;
Usai, G.:
Petri Net Modeling of Irrigation Canal Networks.
1997.
-
Fanni, A.;
Giua, A.;
Sanna, N.:
Control and Error Recovery of Petri Net Models with Event Observers.
1997.
-
Giua, A.:
Petri Net State Estimators Based on Event Observation.
1997.
-
Holloway, L.E.;
Krogh, B.H.;
Giua, A.:
A Survey of Petri Net Methods for Controlled Discrete Event Systems.
1997.
-
Gaubert, S.;
Giua, A.:
Deterministic Weak-and-Marked Petri Net Languages Are Regular.
1996.
-
Gaubert, S.;
Giua, A.:
Petri Net Languages With Infinite Sets of Final Markings.
1996.
-
Giua, A.:
Petri Net Techniques for Supervisory Control of Discrete Event Systems.
1996.
-
Giua, A.;
DiCesare, F.:
Decidability and closure properties of weak Petri net languages in supervisory control.
1995.
-
Giua, A.;
DiCesare, F.:
Blocking and Controllability of Petri Nets in Supervisory Control.
1994.
-
Giua, A.;
DiCesare, F.:
Petri net structural analysis for supervisory control.
1994.
-
Ferrarini, L.;
Maffezzoni, C.;
Giua, A.:
Design and implementation issues in the control of discrete-event systems.
1994.
-
Giua, A.;
DiCesare, F.:
Weak Petri Net Languages in Supervisory Control.
1993.
-
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.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography