Concepedia

G. Franceschinis

GF

41

Publications

3.4K

Citations

22

H-Index

1987

Active since

Affiliations

University of Turin(Current)

Università degli Studi del Piemonte Orientale “Amedeo Avogadro”

Sorbonne Université

Tecnologie Avanzate (Italy)

Université Paris Cité

G. Franceschinis is an author at University of Turin specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsComputer EngineeringNetwork AnalysisFormal VerificationProcess ControlSoftware DesignProgram Analysis

Publications per year

1987–2013

41

Publications

41

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Petri Net, Engineering, Stochastic System +6

Stochastic well-formed colored nets and symmetric modeling applications

G. Chiola, C. Dutheillet, G. Franceschinis et al. · IEEE Transactions on Computers · 1993 · 331 citations

Petri Net, Engineering, Reachability Problem +21

GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets

G. Chiola, G. Franceschinis, Rossano Gaeta et al. · Performance Evaluation · 1995 · 247 citations

Petri Net, Reachability Analysis, Engineering +14

The GreatSPN tool

Soheib Baarir, Marco Beccuti, Davide Cerotti et al. · ACM SIGMETRICS Performance Evaluation Review · 2009 · 130 citations

Stochastic Simulation, Petri Net, Research Community +15

An introduction to generalized stochastic Petri nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Chiola et al. · Microelectronics Reliability · 1991 · 104 citations

Petri Net, Engineering, Stochastic System +5

Rows per page

1–5 of 41