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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Agostino Marcello Mangini