An incremental Petri net approach to production sequence modeling. - Adamo Castelnuovo; Luca Ferrarini; Luigi Piroddi (CASE, 2005)

A Modular Formal Model for Pallet Transportation System in Machining Centres Automation. - Adamo Castelnuovo; Luca Ferrarini (CDC/ECC, 2005)

Petri net models of agent-based control of a FMS with randomly generated recipes. - Adamo Castelnuovo; Luca Ferrarini (ETFA, 2005)

An Incremental Petri Net-Based Approach to the Modeling of Production Sequences in Manufacturing Systems. - Adamo Castelnuovo; Luca Ferrarini; Luigi Piroddi (IEEE Trans Autom. Sci. Eng., 2007)