An integrated software development methodology based on hierarchical colored Petri Nets. - Valerio O. Pinci; Robert M. Shapiro (Applications and Theory of Petri Nets, 1990)

Modeling an NORAD Command Post Using SADT and Colored Petri Nets. - Robert M. Shapiro; Valerio O. Pinci; Roberto Mameli (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)

Work flow analysis. - Valerio O. Pinci; Robert M. Shapiro (WSC, 1993)

Modelling the Work Flow of a Nuclear Waste Management Program. - Kjeld Høyer Mortensen; Valerio O. Pinci (Application and Theory of Petri Nets, 1994)