Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessandro Giua
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j105]Diego Deplano
, Mauro Franceschelli, Alessandro Giua:
Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks. IEEE Trans. Autom. Control. 68(1): 202-213 (2023)- [i11]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks. CoRR abs/2301.05140 (2023) - 2022
- [j104]Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua:
Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136: 110031 (2022) - [j103]Kai Cai, Alessandro Giua, Carla Seatzu:
Consistent reduction in discrete-event systems. Autom. 142: 110333 (2022) - [j102]Alessandro Pilloni, Diego Deplano, Alessandro Giua, Elio Usai:
A Sliding Mode Observer Design for the Average State Estimation in Large-Scale Systems. IEEE Control. Syst. Lett. 6: 632-637 (2022) - [j101]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. IEEE Control. Syst. Lett. 6: 1220-1225 (2022) - [j100]Yin Tong, Yucheng Wang, Alessandro Giua:
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker. IEEE Control. Syst. Lett. 6: 2930-2935 (2022) - [j99]Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32(1): 65-88 (2022) - [j98]Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32(3): 539-544 (2022) - [j97]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs. IEEE Trans. Syst. Man Cybern. Syst. 52(10): 6162-6173 (2022) - [i10]Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua:
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. CoRR abs/2203.17051 (2022) - 2021
- [j96]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Joint State Estimation Under Attack of Discrete Event Systems. IEEE Access 9: 168068-168079 (2021) - [j95]Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Diagnosability enforcement in labeled Petri nets using supervisory control. Autom. 131: 109776 (2021) - [j94]Diego Deplano, Mauro Franceschelli, Alessandro Giua, Luca Scardovi:
Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks. IEEE Control. Syst. Lett. 5(2): 659-664 (2021) - [j93]Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. IEEE CAA J. Autom. Sinica 8(1): 179-188 (2021) - [j92]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
Verification of Detectability for Unambiguous Weighted Automata. IEEE Trans. Autom. Control. 66(3): 1437-1444 (2021) - [c116]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Distributed tracking of graph parameters in anonymous networks with time-varying topology. CDC 2021: 6258-6263 - [i9]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. CoRR abs/2103.02475 (2021) - 2020
- [j91]Diego Deplano, Mauro Franceschelli, Simon Ware, Rong Su, Alessandro Giua:
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories. IEEE Access 8: 92637-92646 (2020) - [j90]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems. Autom. 118: 109025 (2020) - [j89]Hao Lan, Yin Tong, Jin Guo, Alessandro Giua:
Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171]. Autom. 122: 109290 (2020) - [j88]Kuize Zhang, Alessandro Giua:
On detectability of labeled Petri nets and finite automata. Discret. Event Dyn. Syst. 30(3): 465-497 (2020) - [j87]Lan Yang, Zhiwu Li, Alessandro Giua:
Containment of rumor spread in complex social networks. Inf. Sci. 506: 113-130 (2020) - [j86]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Marking Estimation in a Class of Time Labeled Petri Nets. IEEE Trans. Autom. Control. 65(2): 493-506 (2020) - [j85]Ziyue Ma, Guanghui Zhu, Zhiwu Li, Alessandro Giua:
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming. IEEE Trans. Autom. Control. 65(6): 2662-2669 (2020) - [j84]Alessandro Giua, Stéphane Lafortune, Carla Seatzu:
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Trans. Autom. Control. 65(7): 3092-3097 (2020) - [c115]Chao Gu, Zhiwu Li, Alessandro Giua:
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach. CDC 2020: 4467-4472 - [c114]Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua:
A region-based approach for state estimation of timed automata under no event observation. ETFA 2020: 799-804 - [i8]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach. CoRR abs/2003.14204 (2020) - [i7]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
A framework for the analysis of supervised discrete event systems under attack. CoRR abs/2005.00212 (2020) - [i6]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks. CoRR abs/2009.03858 (2020)
2010 – 2019
- 2019
- [j83]Wenjing Yang, Leonardo Brenner, Alessandro Giua:
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation. IEEE Access 7: 13745-13757 (2019) - [j82]Lan Yang, Zhiwu Li, Alessandro Giua:
Influence minimization in linear threshold networks. Autom. 100: 10-16 (2019) - [j81]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
State estimation of max-plus automata with unobservable events. Autom. 105: 36-42 (2019) - [j80]Zhou He, Miao Liu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
An improved approach for marking optimization of timed weighted marked graphs. Discret. Event Dyn. Syst. 29(2): 127-143 (2019) - [j79]Changshun Wu, Isabel Demongodin, Alessandro Giua:
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets". Discret. Event Dyn. Syst. 29(4): 521-526 (2019) - [j78]Ning Ran, Alessandro Giua, Carla Seatzu:
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection. IEEE Trans. Autom. Control. 64(7): 2997-3004 (2019) - [j77]Zhou He, Zhiwu Li, Alessandro Giua, Francesco Basile, Carla Seatzu:
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". IEEE Trans. Autom. Control. 64(12): 5253-5259 (2019) - [c113]Lan Yang, Zhiwu Li, Alessandro Giua:
Rumor Containment by Spreading Correct Information in Social Networks. ACC 2019: 5608-5613 - [c112]Kai Cai, Alessandro Giua, Carla Seatzu:
On Consistent Reduction in Discrete-Event Systems. CASE 2019: 474-479 - [c111]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. CDC 2019: 6718-6723 - [c110]Kuize Zhang, Alessandro Giua:
K-delayed strong detectability of discrete-event systems. CDC 2019: 7647-7652 - [c109]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. CoDIT 2019: 1061-1066 - [c108]Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Multiple Attacks Detection on Discrete Event Systems. SMC 2019: 2352-2357 - [i5]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems. CoRR abs/1906.10207 (2019) - [i4]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems. CoRR abs/1907.10461 (2019) - 2018
- [j76]Alessandro Giua, Manuel Silva Suárez:
Petri nets and Automatic Control: A historical perspective. Annu. Rev. Control. 45: 223-239 (2018) - [j75]Christos G. Cassandras, Alessandro Giua:
Guest editorial: special issue on performance analysis and optimization of discrete event systems. Discret. Event Dyn. Syst. 28(1): 1-2 (2018) - [j74]Christos G. Cassandras, Alessandro Giua:
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems. Discret. Event Dyn. Syst. 28(2): 159-160 (2018) - [j73]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Current-state opacity enforcement in discrete event systems under incomparable observations. Discret. Event Dyn. Syst. 28(2): 161-182 (2018) - [j72]Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu:
Codiagnosability Analysis of Bounded Petri Nets. IEEE Trans. Autom. Control. 63(4): 1192-1199 (2018) - [j71]Zhou He, Zhiwu Li, Alessandro Giua:
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics. IEEE Trans. Autom. Control. 63(8): 2573-2580 (2018) - [c107]Engel Lefaucheux, Alessandro Giua, Carla Seatzu:
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets 2018: 164-183 - [c106]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems. CDC 2018: 2525-2530 - [c105]Changshun Wu, Isabel Demongodin, Alessandro Giua:
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. CoDIT 2018: 51-57 - [c104]Wenjing Yang, Leonardo Brenner, Alessandro Giua:
Computation of Activation Probabilities in the Independent Cascade Model. CoDIT 2018: 791-797 - [c103]Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Stealthy Attacks for Partially-Observed Discrete Event Systems. ETFA 2018: 1161-1164 - [c102]Wenjing Yang, Leonardo Brenner, Alessandro Giua:
Influence Maximization by Link Activation in Social Networks. ETFA 2018: 1248-1251 - [i3]Kuize Zhang, Alessandro Giua:
On detectability of labeled Petri nets with inhibitor arcs. CoRR abs/1802.07551 (2018) - 2017
- [j70]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80: 48-53 (2017) - [j69]Alessandro Giua, Cristian Mahulea, Carla Seatzu:
Decentralized observability of discrete event systems with synchronizations. Autom. 85: 468-476 (2017) - [j68]Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua:
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Trans. Autom. Control. 62(3): 1078-1093 (2017) - [j67]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Trans. Autom. Control. 62(3): 1329-1341 (2017) - [j66]Mauro Franceschelli, Alessandro Giua, Alessandro Pisano:
Finite-Time Consensus on the Median Value With Robustness Properties. IEEE Trans. Autom. Control. 62(4): 1652-1667 (2017) - [j65]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of State-Based Opacity Using Petri Nets. IEEE Trans. Autom. Control. 62(6): 2823-2837 (2017) - [j64]Zhou He, Zhiwu Li, Alessandro Giua:
Optimization of Deterministic Timed Weighted Marked Graphs. IEEE Trans Autom. Sci. Eng. 14(2): 1084-1095 (2017) - [j63]Zhou He, ZhiWu Li, Alessandro Giua:
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation. IEEE Trans. Control. Syst. Technol. 25(4): 1318-1330 (2017) - [c101]Zhou He, Zhiwu Li, Alessandro Giua:
Optimization of deterministic timed weighted marked graphs. CASE 2017: 956-957 - [c100]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Computation of admissible marking sets in weighted state machines by dynamic programming. CDC 2017: 4847-4852 - [c99]Diego Deplano, Simon Ware, Rong Su, Alessandro Giua:
A heuristic algorithm to optimize execution time of multi-robot path. ICCA 2017: 909-914 - 2016
- [j62]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. Autom. 74: 238-246 (2016) - [j61]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. Discret. Event Dyn. Syst. 26(1): 85-108 (2016) - [j60]Yin Tong, ZhiWu Li, Alessandro Giua:
On the Equivalence of Observation Structures for Petri Net Generators. IEEE Trans. Autom. Control. 61(9): 2448-2462 (2016) - [j59]Virginia Pilloni, Mauro Franceschelli, Luigi Atzori, Alessandro Giua:
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach. IEEE Trans. Control. Syst. Technol. 24(5): 1828-1836 (2016) - [c98]Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua:
Verification of language-based opacity in Petri nets using verifier. ACC 2016: 757-763 - [c97]Zhou He, ZhiWu Li, Alessandro Giua:
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics. CDC 2016: 3942-3947 - [c96]Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu:
Codiagnosability verification of bounded Petri nets using basis markings. CDC 2016: 3948-3953 - [c95]Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua:
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. CoDIT 2016: 1-6 - [c94]Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Supervisory enforcement of current-state opacity with uncomparable observations. WODES 2016: 313-318 - [e4]Christos G. Cassandras, Alessandro Giua, Zhiwu Li:
13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. IEEE 2016, ISBN 978-1-5090-4190-9 [contents] - 2015
- [j58]Ziyue Ma, ZhiWu Li, Alessandro Giua:
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]. Autom. 51: 131-134 (2015) - [j57]Yufeng Chen, ZhiWu Li, Kamel Barkaoui, Alessandro Giua:
On the enforcement of a class of nonlinear constraints on Petri nets. Autom. 55: 116-124 (2015) - [j56]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Fast discrete consensus based on gossip for makespan minimization in networked systems. Autom. 56: 60-69 (2015) - [j55]Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu:
Fault model identification and synthesis in Petri nets. Discret. Event Dyn. Syst. 25(3): 419-440 (2015) - [j54]Alessandro Giua, Carla Seatzu:
Petri nets for the control of discrete event systems. Softw. Syst. Model. 14(2): 693-701 (2015) - [j53]Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai:
Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs. IEEE Trans. Autom. Control. 60(4): 1133-1138 (2015) - [j52]Ziyue Ma, ZhiWu Li, Alessandro Giua:
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints. IEEE Trans. Autom. Control. 60(7): 1774-1785 (2015) - [j51]Jianhong Ye, Zhiwu Li, Alessandro Giua:
Decentralized Supervision of Petri Nets With a Coordinator. IEEE Trans. Syst. Man Cybern. Syst. 45(6): 955-966 (2015) - [c93]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. ADHS 2015: 218-223 - [c92]Ziyue Ma, ZhiWu Li, Alessandro Giua:
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. ACC 2015: 365-370 - [c91]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of current-state opacity using Petri nets. ACC 2015: 1935-1940 - [c90]Zhou He, Zhiwu Li, Alessandro Giua:
Cycle time optimization of deterministic timed weighted marked graphs. CASE 2015: 274-279 - [c89]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of initial-state opacity in Petri nets. CDC 2015: 344-349 - [c88]ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua:
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. CDC 2015: 356-361 - [c87]Ziyue Ma, Zhiwu Li, Alessandro Giua:
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis. CDC 2015: 1675-1681 - [r1]Alessandro Giua:
Discrete Event Systems and Hybrid Systems, Connections Between. Encyclopedia of Systems and Control 2015 - 2014
- [j50]Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis:
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. Discret. Event Dyn. Syst. 24(3): 275-307 (2014) - [j49]Alessandro Giua, Carla Seatzu:
Petrinetze und die Steuerung Ereignisdiskreter Systeme. Inform. Spektrum 37(3): 199-210 (2014) - [j48]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing Experiments on Synchronized Petri Nets. IEEE Trans Autom. Sci. Eng. 11(1): 125-138 (2014) - [j47]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans Autom. Sci. Eng. 11(1): 144-153 (2014) - [j46]Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
A Remark on the Decentralized Diagnosis of Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 44(11): 1549 (2014) - [c86]Mauro Franceschelli, Alessandro Giua, Alessandro Pisano:
Finite-time consensus on the median value by discontinuous control. ACC 2014: 946-951 - [c85]Zhou He, ZhiWu Li, Alessandro Giua:
Marking optimization of deterministic timed weighted marked graphs. CASE 2014: 413-418 - [c84]Alessandro Giua, Carla Seatzu:
A survey on state estimation using Petri nets. ECC 2014: 2630-2635 - [c83]Ziyue Ma, Zhiwu Li, Alessandro Giua:
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. WODES 2014: 66-72 - [c82]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. WODES 2014: 155-161 - [c81]Yin Tong, Zhiwu Li, Alessandro Giua:
Observation Equivalence of Petri Net Generators. WODES 2014: 338-343 - 2013
- [j45]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu:
Decentralized estimation of Laplacian eigenvalues in multi-agent systems. Autom. 49(4): 1031-1036 (2013) - [j44]Yorai Wardi, Alessandro Giua, Carla Seatzu:
IPA for continuous stochastic marked graphs. Autom. 49(5): 1204-1215 (2013) - [j43]Zhiyun Lin, Wei Ding, Gangfeng Yan, Changbin Yu, Alessandro Giua:
Leader-follower formation via complex Laplacian. Autom. 49(6): 1900-1906 (2013) - [j42]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 345-355 (2013) - [j41]Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 43(6): 1477-1485 (2013) - [c80]Mauro Franceschelli, Alessandro Pilloni, Alessandro Pisano, Alessandro Giua, Elio Usai:
Finite-time consensus with disturbance attenuation for directed switching network topologies by discontinuous local interactions. CDC 2013: 2611-2616 - [c79]Jeremy Van Gorp, Alessandro Giua, Michael Defoort, Mohamed Djemai:
Active diagnosis for a class of switched systems. CDC 2013: 5003-5008 - [c78]Daniele Rosa, Alessandro Giua:
A non-progressive model of innovation diffusion in social networks. CDC 2013: 6202-6207 - [c77]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. ETFA 2013: 1-8 - [c76]Yin Tong, Zhiwu Li, Alessandro Giua:
General observation structures for Petri nets. ETFA 2013: 1-4 - [p5]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Introduction to Petri Nets. Control of Discrete-Event Systems 2013: 191-211 - [p4]