Giuliana Franceschinis

111 papers A* 2A 5B 8C 5Misc 1Journal 28Unranked 61

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Decoupling Complexity from Population Size: A Macro-Agent Architecture for Scalable Stochastic Simulations. ICPE Companion Marzio Pennisi, Giuliana Franceschinis
2025	J	`jnl`	Dynamic Bayesian Networks for the Detection and Analysis of Cyber Attacks to Power Systems. IEEE Access Davide Cerotti, Davide Savarro, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
2025	C	`conf`	Exploiting GPU computing for effective Agent-Based simulation: initial experiments. PDP Marzio Pennisi, Giuliana Franceschinis, Daniele Baccega, Simone Pernice, Irene Terrone
2025	—	`conf`	Risk Assessment Models in Hydroelectric Plants. EPEW Davide Cerotti, Lavinia Egidi, Daniele Codetta Raiteri, Marzio Pennisi, Giuliana Franceschinis, Andrea Bobbio, Luigi Portinale, Marco Cappicciola, Edoardo Martino L'Aurora, Noemi Silicato
2025	C	`conf`	SNexpression: A New Component for SN Matrix-Based Structural Analysis. FORTE Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2024	J	`jnl`	From Compositional Petri Net Modeling to Macro and Micro Simulation by Means of Stochastic Simulation and Agent-Based Models. ACM Trans. Model. Perform. Evaluation Comput. Syst. Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi
2024	—	`conf`	SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures. ITASEC Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro
2023	—	`conf`	Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation. EPEW Marzio Pennisi, Elvio G. Amparore, Giuliana Franceschinis
2023	—	`conf`	Stochastic Modeling and Dosage Optimization of a Cancer Vaccine Exploiting the EpiMod Framework. CIBB Marco Beccuti, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice, Irene Terrone
2022	J	`jnl`	Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021). SIGMETRICS Perform. Evaluation Rev. Susanna Donatelli, Giuliana Franceschinis
2021	—	`conf`	A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations. EPEW Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
2021	—	`conf`	General Composition for Symmetric Net Arc Functions with Applications. PNSE@Petri Nets Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2021	—	`conf`	Multiformalism modeling and simulation of immune system mechanisms. BIBM Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice
2020	J	`jnl`	Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
2020	B	`conf`	SNexpression: A Symbolic Calculator for Symmetric Net Expressions. Petri Nets Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2019	—	`conf`	A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems. ITASEC Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
2019	B	`conf`	A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. MASCOTS Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice
2019	—	`conf`	Analysis and Detection of Cyber Attack Processes targeting Smart Grids. ISGT Europe Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia
2019	—	`conf`	Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
2018	—	`conf`	Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice
2015	—	`conf`	Computing Structural Properties of Symmetric Nets. QEST Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2015	J	`jnl`	From Symmetric Nets to Differential Equations exploiting Model Symmetries. Comput. J. Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
2015	—	`conf`	Markov Decision Petri Nets with Uncertainty. EPEW Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
2014	—	`conf`	Advances in the GINSENG Project. ICHI Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré
2014	J	`jnl`	Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
2013	—	`conf`	A tool for symbolic manipulation of arc functions in symmetric net models. VALUETOOLS Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2013	B	`conf`	Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	—	`conf`	Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	C	`conf`	Towards a Second Generation of Computer Interpretable Guidelines. DATA Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré
2012	A	`conf`	A new symbolic approach for network reliability analysis. DSN Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia
2012	Misc	`conf`	Efficient simulation of stochastic well-formed nets through symmetry exploitation. WSC Marco Beccuti, Giuliana Franceschinis
2012	J	`jnl`	Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
2012	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency VI Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen
2011	B	`conf`	Computing first passage time distributions in stochastic well-formed nets. ICPE Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011	J	`jnl`	First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011	J	`jnl`	Lumping partially symmetrical stochastic models. Perform. Evaluation Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
2011	—	`conf`	Probe Automata for Passage Time Specification. QEST Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2010	—	`conf`	Dynamic Simulations of Kidney Exchanges. OR Marco Beccuti, V. Fragnelli, Giuliana Franceschinis, S. Villa
2010	J	`jnl`	Preface. Fundam. Informaticae Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf
2010	A	`conf`	Simple TACAS Antti Valmari, Giuliana Franceschinis
2010	—	`conf`	Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2009	B	`ed.`	Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings Petri Nets Giuliana Franceschinis, Karsten Wolf
2009	—	`conf`	From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
2009	—	`conf`	Interfaces and binding in component based development of formal models. VALUETOOLS Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
2009	B	`conf`	Modeling Clinical Guidelines through Petri Nets. AIME Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani
2009	—	`conf`	Multiple abstraction levels in performance analysis of WSN monitoring systems. VALUETOOLS Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
2009	A	`conf`	Parametric NdRFT for the derivation of optimal repair strategies. DSN Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad
2009	—	`conf`	Tagged Generalized Stochastic Petri Nets. EPEW Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis
2009	J	`jnl`	The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
2008	C	`conf`	Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun
2008	—	`conf`	New Solvers for Asymmetric Systems in GreatSPN. QEST Souheib Baarir, Marco Beccuti, Giuliana Franceschinis
2008	—	`conf`	Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
2007	—	`conf`	A framework to design and solve Markov Decision Well-formed Net models. QEST Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
2007	C	`conf`	Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator. IV F. La Mura, Francesco Della Corte, Marco Gribaudo, B. Tosi, S. Alciati, R. Bordino, Giuliana Franceschinis
2007	—	`conf`	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN Marco Beccuti, Giuliana Franceschinis, Serge Haddad
2006	—	`conf`	Efficient lumpability check in partially symmetric systems. QEST Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié
2006	J	`jnl`	Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). IEEE Trans. Software Eng. Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside
2005	—	`conf`	A High Level Language for Structural Relations in Well-Formed Nets. ICATPN Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
2005	—	`conf`	Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. QEST Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis
2005	—	`conf`	Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
2005	—	`conf`	Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. ICATPN Giuliana Franceschinis
2004	—	`conf`	Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
2004	—	`conf`	Extended SWN Solvers in GreatSPN. QEST Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
2004	—	`conf`	Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
2004	J	`jnl`	RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets. Bioinform. Fulvio Lazzarato, Giuliana Franceschinis, Marco Botta, Francesca Cordero, Raffaele A. Calogero
2004	A	`conf`	Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini
2004	J	`jnl`	The OsMoSys approach to multi-formalism modeling of systems. Softw. Syst. Model. Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
2003	—	`conf`	Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
2003	J	`jnl`	Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. IEEE Trans. Software Eng. Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
2003	—	`conf`	SWN client-server composition operators in the OsMoSys framework. PNPM Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca
2003	J	`jnl`	Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. Reliab. Eng. Syst. Saf. Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
2003	J	`jnl`	Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. IEEE Trans. Software Eng. Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
2002	—	`conf`	A hierarchical approach for designing dependable systems. HLDVT Matteo Sonza Reorda, Massimo Violante, Nicola Mazzocca, Salvatore Venticinque, Andrea Bobbio, Giuliana Franceschinis
2002	—	`conf`	DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
2002	A	`conf`	DrawNet++: A Flexible Framework for Building Dependability Models. DSN Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello
2002	B	`conf`	Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. SAFECOMP Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
2002	J	`jnl`	Multi-path continuous media streaming: what are the benefits? Perform. Evaluation Leana Golubchik, John C. S. Lui, Tak Fu Tung, Alix L. H. Chow, Adam Woei-Jyh Lee, Giuliana Franceschinis, Cosimo Anglano
2001	—	`conf`	Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. PNPM Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
2001	J	`jnl`	On the use of partial symmetries for lumping Markov chains. SIGMETRICS Perform. Evaluation Rev. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
2001	—	`conf`	SWN Models of a Contact Center: a Case Study. PNPM Giuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi
2000	—	`conf`	Exploiting Partial Symmetries for Markov Chain Aggregation. MTCS Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
2000	—	`conf`	Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
1999	—	`conf`	Clarifying the priority specification of GSPN: Detached priorities. PNPM Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
1999	—	`conf`	Exploiting Petri nets to support fault tree based dependability analysis. PNPM Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
1999	—	`conf`	Stochastic Colored Petri Net Models for Rainbow Optical Networks. Application of Petri Nets to Communication Networks Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli
1999	B	`conf`	Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
1998	J	`jnl`	Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Perform. Evaluation Rev. Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
1998	—	`conf`	Performance Analysis of a WDM Bus Network Based on GSPN Models. Computer Performance Evaluation (Tools) Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso
1997	J	`jnl`	A Symbolic Reachability Graph for Coloured Petri Nets. Theor. Comput. Sci. Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
1997	—	`conf`	Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. PNPM Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti
1996	—	`conf`	Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. Annual Simulation Symposium Oliver Botti, Susanna Donatelli, Giuliana Franceschinis
1996	—	`conf`	Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) Giuliana Franceschinis, Marina Ribaudo
1996	—	`conf`	Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) Susanna Donatelli, Giuliana Franceschinis
1996	—	`conf`	The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets Susanna Donatelli, Giuliana Franceschinis
1995	J	`jnl`	GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perform. Evaluation Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo
1995	A*	`conf`	State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS Susanna Donatelli, Giuliana Franceschinis
1994	J	`jnl`	Bounds for Quasi-Lumpable Markow Chains. Perform. Evaluation Giuliana Franceschinis, Richard R. Muntz
1994	J	`jnl`	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. IEEE Trans. Software Eng. Giuliana Franceschinis, Richard R. Muntz
1994	—	`conf`	Modeling Symmetric Computer Architectures by SWNs. Application and Theory of Petri Nets Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
1994	J	`jnl`	On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
1994	—	`conf`	Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo
1994	J	`jnl`	Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo
1993	—	`conf`	Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. PNPM Giuliana Franceschinis, Richard R. Muntz
1993	J	`jnl`	Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
1992	—	`conf`	A symbolic simulation mechanism for well-formed coloured Petri nets. Annual Simulation Symposium Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
1992	J	`jnl`	Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distributed Comput. Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis
1991	—	`conf`	A Structural Colour Simplification in Well-Formed Coloured Nets. PNPM Giovanni Chiola, Giuliana Franceschinis
1991	—	`conf`	GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis
1989	—	`conf`	Colored GSPN Models and Automatic Symmetry Detection. PNPM Giovanni Chiola, Giuliana Franceschinis
1987	A*	`conf`	Generalized stochastic Petri nets for the performance evaluation of FMS. ICRA Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
1987	—	`conf`	On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. PNPM Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet