Agostino Marcello Mangini

Available identifiers

zbMath Open mangini.agostino-marcelloMaRDI QIDQ492965

List of research outcomes

Publication	Date of Publication	Type
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings	2024-02-29	Paper
On-line verification of current-state opacity by Petri nets and integer linear programming	2018-10-17	Paper
A new class of consensus protocols for agent networks with discrete time dynamics	2015-08-21	Paper
Real time identification of discrete event systems using Petri nets	2014-03-19	Paper
The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework	2013-06-28	Paper
On-line fault detection in discrete event systems by Petri nets and integer linear programming	2010-01-08	Paper

Research outcomes over time

This page was built for person: Agostino Marcello Mangini