List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Petri net applications: a success story Discrete Event Dynamic Systems | 2026-09-10 | Paper |
| Predictability verification of fault patterns in labeled Petri nets IEEE Transactions on Automatic Control | 2025-07-10 | Paper |
| Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings IEEE Transactions on Automatic Control | 2024-02-29 | Paper |
| On-line verification of current-state opacity by Petri nets and integer linear programming Automatica | 2018-10-17 | Paper |
| A new class of consensus protocols for agent networks with discrete time dynamics Automatica | 2015-08-21 | Paper |
| Real time identification of discrete event systems using Petri nets Automatica | 2014-03-19 | Paper |
| The vehicle relocation problem in car sharing systems: modeling and simulation in a Petri net framework Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
| On-line fault detection in discrete event systems by Petri nets and integer linear programming Automatica | 2010-01-08 | Paper |
Research outcomes over time
This page was built for person: Agostino Marcello Mangini
