Valerio O. Pinci

Publication Activity (10 Years)

Years Active: 1990-1994
Publications (10 Years): 0

Publications

Kjeld Høyer Mortensen, Valerio O. Pinci
Modelling the Work Flow of a Nuclear Waste Management Program. Application and Theory of Petri Nets (1994)
Robert M. Shapiro, Valerio O. Pinci, Roberto Mameli
Modeling an NORAD Command Post Using SADT and Colored Petri Nets. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Valerio O. Pinci, Robert M. Shapiro
Work flow analysis. WSC (1993)
Valerio O. Pinci, Robert M. Shapiro
An integrated software development methodology based on hierarchical colored Petri Nets. Applications and Theory of Petri Nets (1990)