Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gianfranco Balbo
@inproceedings{DBLP:conf/qest/OlliaroBMS23,
author = {Diletta Olliaro and
Gianfranco Balbo and
Andrea Marin and
Matteo Sereno},
editor = {Nils Jansen and
Mirco Tribastone},
title = {Skipping and Fetching: Insights on Non-conventional Product-Form Solutions},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {110--126},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_8},
doi = {10.1007/978-3-031-43835-6\_8},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/OlliaroBMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CastagnoPGPPPBS20,
author = {Paolo Castagno and
Simone Pernice and
Gianni Ghetti and
Massimiliano Povero and
Lorenzo Pradelli and
Daniela Paolotti and
Gianfranco Balbo and
Matteo Sereno and
Marco Beccuti},
title = {A computational framework for modeling and studying pertussis epidemiology
and vaccination},
journal = {{BMC} Bioinform.},
volume = {21-S},
number = {8},
pages = {344},
year = {2020},
url = {https://doi.org/10.1186/s12859-020-03648-6},
doi = {10.1186/S12859-020-03648-6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/CastagnoPGPPPBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PerniceFBMSTLMC20,
author = {Simone Pernice and
Laura Follia and
Gianfranco Balbo and
Luciano Milanesi and
Giulia Sartini and
Niccol{\'{o}} Totis and
Pietro Li{\'{o}} and
Ivan Merelli and
Francesca Cordero and
Marco Beccuti},
title = {Integrating Petri Nets and Flux Balance Methods in Computational Biology
Models: a Methodological and Computational Practice},
journal = {Fundam. Informaticae},
volume = {171},
number = {1-4},
pages = {367--392},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1888},
doi = {10.3233/FI-2020-1888},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PerniceFBMSTLMC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-00813,
author = {Simone Pernice and
Marco Beccuti and
Greta Romano and
Marzio Pennisi and
Alessandro Maglione and
Santina Cutrupi and
Francesco Pappalardo and
Lorenzo Capra and
Giuliana Franceschinis and
Massimiliano De Pierro and
Gianfranco Balbo and
Francesca Cordero and
Raffaele A. Calogero},
title = {Multiple Sclerosis disease: a computational approach for investigating
its drug interactions},
journal = {CoRR},
volume = {abs/2006.00813},
year = {2020},
url = {https://arxiv.org/abs/2006.00813},
eprinttype = {arXiv},
eprint = {2006.00813},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-00813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/PernicePRMCPBBCC19,
author = {Simone Pernice and
Marzio Pennisi and
Greta Romano and
Alessandro Maglione and
Santina Cutrupi and
Francesco Pappalardo and
Gianfranco Balbo and
Marco Beccuti and
Francesca Cordero and
Raffaele A. Calogero},
title = {A computational approach based on the colored Petri net formalism
for studying multiple sclerosis},
journal = {{BMC} Bioinform.},
volume = {20-S},
number = {6},
pages = {623},
year = {2019},
url = {https://doi.org/10.1186/s12859-019-3196-4},
doi = {10.1186/S12859-019-3196-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/PernicePRMCPBBCC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibb/PerniceBRPMC0CF19,
author = {Simone Pernice and
Marco Beccuti and
Greta Romano and
Marzio Pennisi and
Alessandro Maglione and
Santina Cutrupi and
Francesco Pappalardo and
Lorenzo Capra and
Giuliana Franceschinis and
Massimiliano De Pierro and
Gianfranco Balbo and
Francesca Cordero and
Raffaele A. Calogero},
editor = {Paolo Cazzaniga and
Daniela Besozzi and
Ivan Merelli and
Luca Manzoni},
title = {Multiple Sclerosis Disease: {A} Computational Approach for Investigating
Its Drug Interactions},
booktitle = {Computational Intelligence Methods for Bioinformatics and Biostatistics
- 16th International Meeting, {CIBB} 2019, Bergamo, Italy, September
4-6, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12313},
pages = {299--308},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-63061-4\_26},
doi = {10.1007/978-3-030-63061-4\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cibb/PerniceBRPMC0CF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/BalboC19,
author = {Gianfranco Balbo and
Gianfranco Ciardo},
editor = {Wolfgang Reisig and
Grzegorz Rozenberg},
title = {On Petri Nets in Performance and Reliability Evaluation of Discrete
Event Dynamic Systems},
booktitle = {Carl Adam Petri: Ideas, Personality, Impact},
pages = {173--185},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-96154-5\_22},
doi = {10.1007/978-3-319-96154-5\_22},
timestamp = {Tue, 04 Jun 2019 13:10:01 +0200},
biburl = {https://dblp.org/rec/books/sp/19/BalboC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/AngiusHHBAB16,
author = {Alessio Angius and
Andr{\'{a}}s Horv{\'{a}}th and
Sami M. Halawani and
Omar M. Ba{-}Rukab and
Ab Rahman Ahmad and
Gianfranco Balbo},
title = {Exploiting flow equivalent server in transient analysis},
journal = {Comput. Syst. Sci. Eng.},
volume = {31},
number = {4},
year = {2016},
timestamp = {Fri, 17 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csse/AngiusHHBAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcsb/FornariBHBACCB15,
author = {Chiara Fornari and
Gianfranco Balbo and
Sami M. Halawani and
Omar M. Ba{-}Rukab and
Ab Rahman Ahmad and
Raffaele A. Calogero and
Francesca Cordero and
Marco Beccuti},
title = {A versatile mathematical work-flow to explore how Cancer Stem Cell
fate influences tumor progression},
journal = {{BMC} Syst. Biol.},
volume = {9},
number = {{S-3}},
pages = {S1},
year = {2015},
url = {https://doi.org/10.1186/1752-0509-9-S3-S1},
doi = {10.1186/1752-0509-9-S3-S1},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcsb/FornariBHBACCB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BeccutiFFHBAB15,
author = {Marco Beccuti and
Chiara Fornari and
Giuliana Franceschinis and
Sami M. Halawani and
Omar M. Ba{-}Rukab and
Ab Rahman Ahmad and
Gianfranco Balbo},
title = {From Symmetric Nets to Differential Equations exploiting Model Symmetries},
journal = {Comput. J.},
volume = {58},
number = {1},
pages = {23--39},
year = {2015},
url = {https://doi.org/10.1093/comjnl/bxt111},
doi = {10.1093/COMJNL/BXT111},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BeccutiFFHBAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BalboV15,
author = {Gianfranco Balbo and
Maria Grazia Vigliotti},
title = {On the Analysis of a {M/M/1} Queue with Bulk Services},
journal = {Comput. J.},
volume = {58},
number = {1},
pages = {57--74},
year = {2015},
url = {https://doi.org/10.1093/comjnl/bxt118},
doi = {10.1093/COMJNL/BXT118},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BalboV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AngiusBBBHS15,
author = {Alessio Angius and
Gianfranco Balbo and
Marco Beccuti and
Enrico Bibbona and
Andr{\'{a}}s Horv{\'{a}}th and
Roberta Sirovich},
title = {Approximate analysis of biological systems by hybrid switching jump
diffusion},
journal = {Theor. Comput. Sci.},
volume = {587},
pages = {49--72},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.015},
doi = {10.1016/J.TCS.2015.03.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AngiusBBBHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/AngiusHHBAB15,
author = {Alessio Angius and
Andr{\'{a}}s Horv{\'{a}}th and
Sami M. Halawani and
Omar M. Ba{-}Rukab and
Ab Rahman Ahmad and
Gianfranco Balbo},
editor = {Marco Gribaudo and
Daniele Manini and
Anne Remke},
title = {Use of Flow Equivalent Servers in the Transient Analysis of Product
Form Queuing Networks},
booktitle = {Analytical and Stochastic Modelling Techniques and Applications -
22nd International Conference, {ASMTA} 2015, Albena, Bulgaria, May
26-29, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9081},
pages = {15--29},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18579-8\_2},
doi = {10.1007/978-3-319-18579-8\_2},
timestamp = {Sun, 25 Oct 2020 22:45:32 +0100},
biburl = {https://dblp.org/rec/conf/asmta/AngiusHHBAB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BeccutiBHSAB14,
author = {Marco Beccuti and
Enrico Bibbona and
Andr{\'{a}}s Horv{\'{a}}th and
Roberta Sirovich and
Alessio Angius and
Gianfranco Balbo},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Analysis of Petri Net Models through Stochastic Differential Equations},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {273--293},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_15},
doi = {10.1007/978-3-319-07734-5\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BeccutiBHSAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BeccutiBHSAB14,
author = {Marco Beccuti and
Enrico Bibbona and
Andr{\'{a}}s Horv{\'{a}}th and
Roberta Sirovich and
Alessio Angius and
Gianfranco Balbo},
title = {Analysis of Petri Net Models through Stochastic Differential Equations},
journal = {CoRR},
volume = {abs/1404.0975},
year = {2014},
url = {http://arxiv.org/abs/1404.0975},
eprinttype = {arXiv},
eprint = {1404.0975},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BeccutiBHSAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AngiusBBBHS14,
author = {Alessio Angius and
Gianfranco Balbo and
Marco Beccuti and
Enrico Bibbona and
Andr{\'{a}}s Horv{\'{a}}th and
Roberta Sirovich},
title = {Approximate analysis of biological systems by hybrid switching jump
diffusion},
journal = {CoRR},
volume = {abs/1406.1352},
year = {2014},
url = {http://arxiv.org/abs/1406.1352},
eprinttype = {arXiv},
eprint = {1406.1352},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AngiusBBBHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CorderoBFLCCBC13,
author = {Francesca Cordero and
Marco Beccuti and
Chiara Fornari and
Stefania Lanzardo and
Laura Conti and
Federica Cavallo and
Gianfranco Balbo and
Raffaele A. Calogero},
title = {Multi-level model for the investigation of oncoantigen-driven vaccination
effect},
journal = {{BMC} Bioinform.},
volume = {14},
number = {{S-6}},
pages = {S11},
year = {2013},
url = {https://doi.org/10.1186/1471-2105-14-S6-S11},
doi = {10.1186/1471-2105-14-S6-S11},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/CorderoBFLCCBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2013bioppn,
editor = {Gianfranco Balbo and
Monika Heiner},
title = {Proceedings of the International Workshop on Biological Processes
{\&} Petri Nets, Milano, Italy, June 24, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {988},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-988},
urn = {urn:nbn:de:0074-988-2},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/2013bioppn.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-7,
editor = {Kurt Jensen and
Wil M. P. van der Aalst and
Gianfranco Balbo and
Maciej Koutny and
Karsten Wolf},
title = {Transactions on Petri Nets and Other Models of Concurrency {VII}},
series = {Lecture Notes in Computer Science},
volume = {7480},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38143-0},
doi = {10.1007/978-3-642-38143-0},
isbn = {978-3-642-38142-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2013-7.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/Balbo12,
author = {Gianfranco Balbo},
editor = {Oliver Rose and
Adelinde M. Uhrmacher},
title = {Titans talk on "modeling and simulation of complex systems: are
petri nets useful?"},
booktitle = {Winter Simulation Conference, {WSC} '12, Berlin, Germany, December
9-12, 2012},
pages = {321:1},
publisher = {{WSC}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2430192},
timestamp = {Thu, 10 Jun 2021 22:19:08 +0200},
biburl = {https://dblp.org/rec/conf/wsc/Balbo12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BalboBPF11,
author = {Gianfranco Balbo and
Marco Beccuti and
Massimiliano De Pierro and
Giuliana Franceschinis},
title = {First Passage Time Computation in Tagged GSPNs with Queue Places},
journal = {Comput. J.},
volume = {54},
number = {5},
pages = {653--673},
year = {2011},
url = {https://doi.org/10.1093/comjnl/bxq056},
doi = {10.1093/COMJNL/BXQ056},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cj/BalboBPF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CorderoHMNPPPVSBB11,
author = {Francesca Cordero and
Andr{\'{a}}s Horv{\'{a}}th and
Daniele Manini and
Lucia Napione and
Massimiliano De Pierro and
Simona Pavan and
Andrea Picco and
Andrea Veglio and
Matteo Sereno and
Federico Bussolino and
Gianfranco Balbo},
title = {Simplification of a complex signal transduction model using invariants
and flow equivalent servers},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {43},
pages = {6036--6057},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.06.013},
doi = {10.1016/J.TCS.2011.06.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CorderoHMNPPPVSBB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcb/CorderoLAFCBCMC11,
author = {Francesca Cordero and
Stefania Lanzardo and
Maddalena Arigoni and
Chiara Fornari and
Laura Conti and
Gianfranco Balbo and
Federica Cavallo and
Daniele Manini and
Raffaele A. Calogero},
editor = {Robert Grossman and
Andrey Rzhetsky and
Sun Kim and
Wei Wang},
title = {Cancer stem cell based adjuvant for oncoantingen-driven vaccination},
booktitle = {{ACM} International Conference on Bioinformatics, Computational Biology
and Biomedicine, BCB' 11, Chicago, IL, {USA} - July 31 - August 03,
2011},
pages = {564--568},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2147805.2147902},
doi = {10.1145/2147805.2147902},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bcb/CorderoLAFCBCMC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wosp/BalboBPF11,
author = {Gianfranco Balbo and
Marco Beccuti and
Massimiliano De Pierro and
Giuliana Franceschinis},
editor = {Samuel Kounev and
Vittorio Cortellessa and
Raffaela Mirandola and
David J. Lilja},
title = {Computing first passage time distributions in stochastic well-formed
nets},
booktitle = {ICPE'11 - Second Joint {WOSP/SIPEW} International Conference on Performance
Engineering, Karlsruhe, Germany, March 14-16, 2011},
pages = {7--18},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1958746.1958754},
doi = {10.1145/1958746.1958754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wosp/BalboBPF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FornariCMBC11,
author = {Chiara Fornari and
Francesca Cordero and
Daniele Manini and
Gianfranco Balbo and
Raffaele A. Calogero},
editor = {Paola Giannini and
Jean Krivine},
title = {Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell
Models},
booktitle = {The Second International Workshop on Interactions between Computer
Science and Biology, CS2Bio@DisCoTec 2011, Reykjavik, Iceland, June
9, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {277},
pages = {29--39},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.09.033},
doi = {10.1016/J.ENTCS.2011.09.033},
timestamp = {Fri, 10 Mar 2023 15:14:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FornariCMBC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/AngiusBCHM10,
author = {Alessio Angius and
Gianfranco Balbo and
Francesca Cordero and
Andr{\'{a}}s Horv{\'{a}}th and
Daniele Manini},
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten
against the Equivalent Server},
booktitle = {Proceedings of the Workshops of the 31st International Conference
on Application and Theory of Petri Nets and Other Models of Concurrency
{(PETRI} {NETS} 2010) and of the 10th International Conference on
Application of Concurrency to System Design {(ACSD} 2010), Braga,
Portugal, June, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {827},
pages = {55--69},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-827/5\_AlessioAngius\_article.pdf},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/acsd/AngiusBCHM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/or/BalboBPF10,
author = {Gianfranco Balbo and
Marco Beccuti and
Massimiliano De Pierro and
Giuliana Franceschinis},
editor = {Bo Hu and
Karl Morasch and
Stefan Pickl and
Markus Siegle},
title = {Stochastic Petri Nets Sensitivity to Token Scheduling Policies},
booktitle = {Operations Research Proceedings 2010, Selected Papers of the Annual
International Conference of the German Operations Research Society,
Universit{\"{a}}t der Bundeswehr, M{\"{u}}nchen, September
1-3, 2010},
pages = {181--186},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20009-0\_29},
doi = {10.1007/978-3-642-20009-0\_29},
timestamp = {Fri, 19 May 2017 01:25:22 +0200},
biburl = {https://dblp.org/rec/conf/or/BalboBPF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/NapioneMCHPPPSVBB09,
author = {Lucia Napione and
Daniele Manini and
Francesca Cordero and
Andr{\'{a}}s Horv{\'{a}}th and
Andrea Picco and
Massimiliano De Pierro and
Simona Pavan and
Matteo Sereno and
Andrea Veglio and
Federico Bussolino and
Gianfranco Balbo},
editor = {Pierpaolo Degano and
Roberto Gorrieri},
title = {On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction
Pathways for Angiogenesis Process},
booktitle = {Computational Methods in Systems Biology, 7th International Conference,
{CMSB} 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5688},
pages = {281--295},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03845-7\_19},
doi = {10.1007/978-3-642-03845-7\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/NapioneMCHPPPSVBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/BalboPF09,
author = {Gianfranco Balbo and
Massimiliano De Pierro and
Giuliana Franceschinis},
editor = {Jeremy T. Bradley},
title = {Tagged Generalized Stochastic Petri Nets},
booktitle = {Computer Performance Engineering, 6th European Performance Engineering
Workshop, {EPEW} 2009, London, UK, July 9-10, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5652},
pages = {1--15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02924-0\_1},
doi = {10.1007/978-3-642-02924-0\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/epew/BalboPF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/Balbo07,
author = {Gianfranco Balbo},
editor = {Marco Bernardo and
Jane Hillston},
title = {Introduction to Generalized Stochastic Petri Nets},
booktitle = {Formal Methods for Performance Evaluation, 7th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4486},
pages = {83--131},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72522-0\_3},
doi = {10.1007/978-3-540-72522-0\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/Balbo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/GaetaBBGS05,
author = {Rossano Gaeta and
Gianfranco Balbo and
Steven C. Bruell and
Marco Gribaudo and
Matteo Sereno},
title = {A simple analytical framework to analyze search strategies in large-scale
peer-to-peer networks},
journal = {Perform. Evaluation},
volume = {62},
number = {1-4},
pages = {1--16},
year = {2005},
url = {https://doi.org/10.1016/j.peva.2005.07.023},
doi = {10.1016/J.PEVA.2005.07.023},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/GaetaBBGS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BalboBS03,
author = {Gianfranco Balbo and
Steven C. Bruell and
Matteo Sereno},
title = {On the relations between {BCMP} queueing networks and product form
solution stochastic petri nets},
booktitle = {Proceedings of the 10th International Workshop on Petri Nets and Performance
Models, {PNPM} 2003, Urbana-Champaign, IL, USA, September 2-5, 2003},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/PNPM.2003.1231547},
doi = {10.1109/PNPM.2003.1231547},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BalboBS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BalboBS02,
author = {Gianfranco Balbo and
Steven C. Bruell and
Matteo Sereno},
title = {Product Form Solution for Generalized Stochastic Petri Nets},
journal = {{IEEE} Trans. Software Eng.},
volume = {28},
number = {10},
pages = {915--932},
year = {2002},
url = {https://doi.org/10.1109/TSE.2002.1041049},
doi = {10.1109/TSE.2002.1041049},
timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BalboBS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BalboBS01,
author = {Gianfranco Balbo and
Steven C. Bruell and
Matteo Sereno},
editor = {Reinhard German and
Boudewijn R. Haverkort},
title = {Embedded Processes in Generalized Stochastic Petri Nets},
booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance
Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
pages = {71--80},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PNPM.2001.953357},
doi = {10.1109/PNPM.2001.953357},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BalboBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BernardiB01,
author = {Simona Bernardi and
Gianfranco Balbo},
editor = {Reinhard German and
Boudewijn R. Haverkort},
title = {Concurrent Generalized Petri Nets: Regenerative Conditions},
booktitle = {Proceedings of the 9th International Workshop on Petri Nets and Performance
Models, {PNPM} 2001, Aachen, Germany, September 11-14, 2001},
pages = {125--134},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PNPM.2001.953362},
doi = {10.1109/PNPM.2001.953362},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BernardiB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Balbo00,
author = {Gianfranco Balbo},
title = {Review: Performance Modeling with Deterministic and Stochastic Petri
Nets - Christoph Lindemann, Wiley-Interscience Series in Systems and
Optimization, Wiley, New York, 1998, 405 pages, {ISBN} 0-471-97646-6},
journal = {Sci. Comput. Program.},
volume = {38},
number = {1-3},
pages = {143--146},
year = {2000},
url = {https://doi.org/10.1016/S0167-6423(99)00042-8},
doi = {10.1016/S0167-6423(99)00042-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Balbo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MarsanBC00,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte},
editor = {G{\"{u}}nter Haring and
Christoph Lindemann and
Martin Reiser},
title = {The Early Days of GSPNs},
booktitle = {Performance Evaluation: Origins and Directions},
series = {Lecture Notes in Computer Science},
volume = {1769},
pages = {505--512},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46506-5\_23},
doi = {10.1007/3-540-46506-5\_23},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/MarsanBC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eef/Balbo00,
author = {Gianfranco Balbo},
editor = {Ed Brinksma and
Holger Hermanns and
Joost{-}Pieter Katoen},
title = {Introduction to Stochastic Petri Nets},
booktitle = {Lectures on Formal Methods and Performance Analysis, First EEF/Euro
Summer School on Trends in Computer Science, Berg en Dal, The Netherlands,
July 3-7, 2000, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {2090},
pages = {84--155},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44667-2\_3},
doi = {10.1007/3-540-44667-2\_3},
timestamp = {Sat, 30 Sep 2023 09:39:42 +0200},
biburl = {https://dblp.org/rec/conf/eef/Balbo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/MarsanBCDF98,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte and
Susanna Donatelli and
Giuliana Franceschinis},
title = {Modelling with Generalized Stochastic Petri Nets},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {26},
number = {2},
pages = {2},
year = {1998},
url = {https://doi.org/10.1145/288197.581193},
doi = {10.1145/288197.581193},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/MarsanBCDF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/SerenoB97,
author = {Matteo Sereno and
Gianfranco Balbo},
title = {Mean Value Analysis of Stochastic Petri Nets},
journal = {Perform. Evaluation},
volume = {29},
number = {1},
pages = {35--62},
year = {1997},
url = {https://doi.org/10.1016/S0166-5316(96)00003-X},
doi = {10.1016/S0166-5316(96)00003-X},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/SerenoB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BalboS97,
author = {Gianfranco Balbo and
Giuseppe Serazzi},
title = {Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple
Bottlenecks},
journal = {Perform. Evaluation},
volume = {30},
number = {3},
pages = {115--152},
year = {1997},
url = {https://doi.org/10.1016/S0166-5316(97)00005-9},
doi = {10.1016/S0166-5316(97)00005-9},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/BalboS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1997,
editor = {Pierre Az{\'{e}}ma and
Gianfranco Balbo},
title = {Application and Theory of Petri Nets 1997, 18th International Conference,
{ICATPN} '97, Toulouse, France, June 23-27, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1248},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63139-9},
doi = {10.1007/3-540-63139-9},
isbn = {3-540-63139-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BalboS96,
author = {Gianfranco Balbo and
Giuseppe Serazzi},
title = {Asymptotic Analysis of Multiclass Closed Queueing Networks: Common
Bottleneck},
journal = {Perform. Evaluation},
volume = {26},
number = {1},
pages = {51--72},
year = {1996},
url = {https://doi.org/10.1016/0166-5316(95)00021-6},
doi = {10.1016/0166-5316(95)00021-6},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/BalboS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/Balbo95,
author = {Gianfranco Balbo},
title = {On the success of stochastic Petri nets},
booktitle = {Proceedings of the Sixth International Workshop on Petri Nets and
Performance Models, {PNPM} 1995, Durham, NC, USA, October 3-6, 1995},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/PNPM.1995.524310},
doi = {10.1109/PNPM.1995.524310},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/Balbo95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BalboDFMR94,
author = {Gianfranco Balbo and
Susanna Donatelli and
Giuliana Franceschinis and
Antonino Mazzeo and
Nicola Mazzocca and
Marina Ribaudo},
title = {On the Computation of Performance Characteristics of Concurrent Programs
Using GSPNs},
journal = {Perform. Evaluation},
volume = {19},
number = {2-3},
pages = {195--222},
year = {1994},
url = {https://doi.org/10.1016/0166-5316(94)90039-6},
doi = {10.1016/0166-5316(94)90039-6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pe/BalboDFMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/BalboBS94,
author = {Gianfranco Balbo and
Steven C. Bruell and
Matteo Sereno},
editor = {Larry W. Dowdy and
Rick Bunt and
Blaine D. Gaither},
title = {Arrival Theorems for Product-Form Stochastic Petri Nets},
booktitle = {Proceedings of the 1994 {ACM} {SIGMETRICS} conference on Measurement
and modeling of computer systems, Vanderbilt University, Nashville,
Tennessee, USA, May 16-20, 1994},
pages = {87--97},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/183018.183028},
doi = {10.1145/183018.183028},
timestamp = {Fri, 30 Jul 2021 16:13:32 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/BalboBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChiolaMBC93,
author = {Giovanni Chiola and
Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte},
title = {Generalized Stochastic Petri Nets: {A} Definition at the Net Level
and Its Implications},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {89--107},
year = {1993},
url = {https://doi.org/10.1109/32.214828},
doi = {10.1109/32.214828},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChiolaMBC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/Balbo93,
author = {Gianfranco Balbo},
editor = {Bernhard Walke and
Otto Spaniol},
title = {Performance Evaluation and Concurrent Programming},
booktitle = {Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen,
7. ITG/GI-Fachtagung, Aachen, Germany, 21.-23. September 1993},
series = {Informatik Aktuell},
pages = {1--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-78495-8\_1},
doi = {10.1007/978-3-642-78495-8\_1},
timestamp = {Wed, 24 May 2017 08:29:19 +0200},
biburl = {https://dblp.org/rec/conf/mmb/Balbo93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/SerenoB93,
author = {Matteo Sereno and
Gianfranco Balbo},
title = {Computational algorithms for product form solution stochastic Petri
nets},
booktitle = {Proceedings of the 5th International Workshop on Petri Nets and Performance
Models, {PNPM} 1993, Toulouse, France, October 19-22, 1993},
pages = {98--107},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/PNPM.1993.393431},
doi = {10.1109/PNPM.1993.393431},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/SerenoB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BalboDF92,
author = {Gianfranco Balbo and
Susanna Donatelli and
Giuliana Franceschinis},
title = {Understanding Parallel Program Behavior through Petri Net Models},
journal = {J. Parallel Distributed Comput.},
volume = {15},
number = {3},
pages = {171--187},
year = {1992},
url = {https://doi.org/10.1016/0743-7315(92)90002-5},
doi = {10.1016/0743-7315(92)90002-5},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BalboDF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/BalboCBC92,
author = {Gianfranco Balbo and
Giovanni Chiola and
Steven C. Bruell and
Pozung Chen},
title = {An Example of Modeling and Evaluation of a Concurrent Program Using
Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {3},
number = {2},
pages = {221--240},
year = {1992},
url = {https://doi.org/10.1109/71.127262},
doi = {10.1109/71.127262},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/BalboCBC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Balbo92,
author = {Gianfranco Balbo},
editor = {Kurt Jensen},
title = {Performance Issues in Parallel Programming},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference,
Sheffield, UK, June 22-26, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {616},
pages = {1--23},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55676-1\_1},
doi = {10.1007/3-540-55676-1\_1},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Balbo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/MarsanBBN90,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Giorgio Bruno and
Fabio Neri},
title = {{TOPNET:} {A} Tool for the Visual Simulation of Communication Networks},
journal = {{IEEE} J. Sel. Areas Commun.},
volume = {8},
number = {9},
pages = {1735--1747},
year = {1990},
url = {https://doi.org/10.1109/49.62859},
doi = {10.1109/49.62859},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/MarsanBBN90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MarsanBBCCC89,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Andrea Bobbio and
Giovanni Chiola and
Gianni Conte and
Aldo Cumani},
title = {The Effect of Execution Policies on the Semantics and Analysis of
Stochastic Petri Nets},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {7},
pages = {832--846},
year = {1989},
url = {https://doi.org/10.1109/32.29483},
doi = {10.1109/32.29483},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MarsanBBCCC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BruelCB89,
author = {Steven C. Bruell and
Pozung Chen and
Gianfranco Balbo},
title = {Alternative Methods for Incorporating Non-exponential Distributions
into Stochastic Timed Petri Nets},
booktitle = {Proceedings of the Third International Workshop on Petri Nets and
Performance Models, {PNPM} 1989, Kyoto, Japan, December 11-13, 1989},
pages = {187--197},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/PNPM.1989.68552},
doi = {10.1109/PNPM.1989.68552},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pnpm/BruelCB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/BalboCBC89,
author = {Gianfranco Balbo and
Giovanni Chiola and
Steven C. Bruell and
Pozung Chen},
editor = {Domenico Ferrari},
title = {An Example of Validation and Evaluation ofa Concurrent Program: Lamport's
Fast Mutual Exclusion Algorithm},
booktitle = {Proceedings of the 1989 {ACM} {SIGMETRICS} international conference
on Measurement and modeling of computer systems, Berkeley, California,
USA, May 23-26, 1989},
pages = {222},
publisher = {{ACM}},
year = {1989},
timestamp = {Fri, 30 Jul 2021 16:13:33 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/BalboCBC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/BalboC89,
author = {Gianfranco Balbo and
Giovanni Chiola},
editor = {Edward A. MacNair and
Kenneth J. Musselman and
Philip Heidelberger},
title = {Stochastic petri net simulation},
booktitle = {Proceedings of the 21st Winter Simulation Conference, Washington,
DC, USA, December 4-6, 1989},
pages = {266--276},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/76738.76772},
doi = {10.1145/76738.76772},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wsc/BalboC89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ChiolaMB88,
author = {Giovanni Chiola and
Marco Ajmone Marsan and
Gianfranco Balbo},
title = {Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus
Multiprocessor Systems with Nonuniform Memory References},
journal = {{IEEE} Trans. Computers},
volume = {37},
number = {5},
pages = {532--540},
year = {1988},
url = {https://doi.org/10.1109/12.4604},
doi = {10.1109/12.4604},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/ChiolaMB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/BalboBG88,
author = {Gianfranco Balbo and
Steven C. Bruell and
Subbarao Ghanta},
title = {Combining Queueing Networks and Generalized Stochastic Petri Nets
for the Solution of Complex Models of System Behavior},
journal = {{IEEE} Trans. Computers},
volume = {37},
number = {10},
pages = {1251--1268},
year = {1988},
url = {https://doi.org/10.1109/12.5986},
doi = {10.1109/12.5986},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/BalboBG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/BalboCFR87,
author = {Gianfranco Balbo and
Giovanni Chiola and
Giuliana Franceschinis and
G. Molinar Roet},
title = {Generalized stochastic Petri nets for the performance evaluation of
{FMS}},
booktitle = {Proceedings of the 1987 {IEEE} International Conference on Robotics
and Automation, Raleigh, North Carolina, USA, March 31 - April 3,
1987},
pages = {1013--1018},
publisher = {{IEEE}},
year = {1987},
url = {https://doi.org/10.1109/ROBOT.1987.1087864},
doi = {10.1109/ROBOT.1987.1087864},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/BalboCFR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr/MarsanBCC87,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Giovanni Chiola and
Gianni Conte},
editor = {Giuseppe Iazeolla and
Pierre{-}Jacques Courtois and
Onno J. Boxma},
title = {Applicability of Stochastic Petri Nets to Performance Modeling},
booktitle = {Computer Performance and Reliability, Proceedings of the Second International
{MCPR} Workshop held in Rome, Italy, May 25-29, 1987},
pages = {517--534},
publisher = {North-Holland},
year = {1987},
timestamp = {Mon, 03 Jun 2002 12:01:18 +0200},
biburl = {https://dblp.org/rec/conf/mcpr/MarsanBCC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanBCC87,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Giovanni Chiola and
Gianni Conte},
title = {Generalized Stochastic Petri Nets Revisitied: Random Switches and
Priorities},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Thu, 23 Jun 2016 10:27:26 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanBCC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BalboCFR87,
author = {Gianfranco Balbo and
Giovanni Chiola and
Giuliana Franceschinis and
G. Molinar Roet},
title = {On the Efficient Construction of the Tangible Reachability Graph of
Generalized Stochastic Petri Nets},
booktitle = {Proceedings of the Second International Workshop on Petri Nets and
Performance Models, {PNPM} 1987, Madison, Wisconsin, USA, August 24-26,
1987},
pages = {136--145},
publisher = {{IEEE} Computer Society},
year = {1987},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/BalboCFR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/MarsanBCC87,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Giovanni Chiola and
Gianni Conte},
editor = {Richard B. Bunt},
title = {Modeling the Software Architecture of a Prototype Parallel Machine},
booktitle = {Proceedings of the 1987 {ACM} {SIGMETRICS} conference on Measurement
and modeling of computer systems, Banff, Alberta, Canada, May 11-14,
1987},
pages = {175--185},
publisher = {{ACM}},
year = {1987},
url = {https://doi.org/10.1145/29903.29924},
doi = {10.1145/29903.29924},
timestamp = {Fri, 30 Jul 2021 16:13:31 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/MarsanBCC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0066909,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte},
title = {Performance models of multiprocessor systems},
series = {{MIT} Press series in computer systems},
publisher = {{MIT} Press},
year = {1986},
isbn = {978-0-262-01093-1},
timestamp = {Thu, 05 May 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0066909.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BalboBG86,
author = {Gianfranco Balbo and
Steven C. Bruell and
Subbarao Ghanta},
title = {The solution of homogeneous queueing networks with many job classes},
journal = {J. Syst. Softw.},
volume = {6},
number = {1-2},
pages = {41--53},
year = {1986},
url = {https://doi.org/10.1016/0164-1212(86)90022-1},
doi = {10.1016/0164-1212(86)90022-1},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BalboBG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MarsanBCD86,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Giovanni Chiola and
Susanna Donatelli},
title = {On the product-form solution of a class of multiple-bus multiprocessor
system models},
journal = {J. Syst. Softw.},
volume = {6},
number = {1-2},
pages = {117--124},
year = {1986},
url = {https://doi.org/10.1016/0164-1212(86)90030-0},
doi = {10.1016/0164-1212(86)90030-0},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/MarsanBCD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BalboBG86,
author = {Gianfranco Balbo and
Steven C. Bruell and
Subbarao Ghanta},
title = {Combining Queueing Network and Generalized Stochastic Petri Net Models
for the Analysis of Some Software Blocking Phenomena},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {4},
pages = {561--576},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312904},
doi = {10.1109/TSE.1986.6312904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BalboBG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/MarsanBBCCC85,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Andrea Bobbio and
Giovanni Chiola and
Gianni Conte and
Aldo Cumani},
title = {On Petri Nets with Stochastic Timing},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {80--87},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Mon, 03 Jun 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/MarsanBBCCC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pnpm/BalboBG85,
author = {Gianfranco Balbo and
Steven C. Bruell and
Subbarao Ghanta},
title = {Combining Queueing Network and Generalized Stochastic Petri Net Models
for the Analysis of a Software Blocking Phenomenon},
booktitle = {International Workshop on Timed Petri Nets, Torino, Italy, July 1-3,
1985},
pages = {208--225},
publisher = {{IEEE} Computer Society},
year = {1985},
timestamp = {Wed, 29 May 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pnpm/BalboBG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/BalboBG85,
author = {Gianfranco Balbo and
Steven C. Bruell and
Subbarao Ghanta},
editor = {Herbert D. Schwetman and
Jeffrey A. Brumfield and
Daniel A. Reed and
Blaine D. Gaither},
title = {Modeling Priority Schemes},
booktitle = {Proceedings of the 1985 {ACM} {SIGMETRICS} conference on Measurement
and modeling of computer systems, Austin, Texas, USA, August 26-29,
1985},
pages = {15--26},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/317795.317806},
doi = {10.1145/317795.317806},
timestamp = {Fri, 30 Jul 2021 16:13:33 +0200},
biburl = {https://dblp.org/rec/conf/sigmetrics/BalboBG85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BruellBA84,
author = {Steven C. Bruell and
Gianfranco Balbo and
P. V. Afshari},
title = {Mean value analysis of mixed, multiple class {BCMP} networks with
load dependent service stations},
journal = {Perform. Evaluation},
volume = {4},
number = {4},
pages = {241--260},
year = {1984},
url = {https://doi.org/10.1016/0166-5316(84)90010-5},
doi = {10.1016/0166-5316(84)90010-5},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/BruellBA84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/MarsanCB84,
author = {Marco Ajmone Marsan and
Gianni Conte and
Gianfranco Balbo},
title = {A Class of Generalized Stochastic Petri Nets for the Performance Evaluation
of Multiprocessor Systems},
journal = {{ACM} Trans. Comput. Syst.},
volume = {2},
number = {2},
pages = {93--122},
year = {1984},
url = {https://doi.org/10.1145/190.191},
doi = {10.1145/190.191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/MarsanCB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddss/BalboLS84,
author = {Gianfranco Balbo and
Antonio Di Leva and
Giovanni Maria Sacco},
editor = {Reind P. van de Riet and
Witold Litwin},
title = {Adaptive Query Optimization in Point-To-Point Networks},
booktitle = {Distributed Data Sharing Systems, Proceedings of the Third International
Seminar on Distributed Data Sharing Systems, {DDSS} 1984, Parma, Italy,
28-30 March, 1984},
pages = {119--129},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 16 Jul 2019 12:46:53 +0200},
biburl = {https://dblp.org/rec/conf/ddss/BalboLS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BalboDLG84,
author = {Gianfranco Balbo and
G. Barbara Demo and
Antonio Di Leva and
Piercarlo Giolito},
title = {Dynamics Analysis in Database Design},
booktitle = {Proceedings of the First International Conference on Data Engineering,
April 24-27, 1984, Los Angeles, California, {USA}},
pages = {238--243},
publisher = {{IEEE} Computer Society},
year = {1984},
url = {https://doi.org/10.1109/ICDE.1984.7271277},
doi = {10.1109/ICDE.1984.7271277},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/icde/BalboDLG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/BalboB83,
author = {Gianfranco Balbo and
Steven C. Bruell},
title = {Computational aspects of aggregation in multiple class queueing networks},
journal = {Perform. Evaluation},
volume = {3},
number = {3},
pages = {177--185},
year = {1983},
url = {https://doi.org/10.1016/0166-5316(83)90002-0},
doi = {10.1016/0166-5316(83)90002-0},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/BalboB83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MarsanBCG83,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte and
Francesco Gregoretti},
title = {Modeling Bus Contention and Memory Interference in a Multiprocessor
System},
journal = {{IEEE} Trans. Computers},
volume = {32},
number = {1},
pages = {60--72},
year = {1983},
url = {https://doi.org/10.1109/TC.1983.1676124},
doi = {10.1109/TC.1983.1676124},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/MarsanBCG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/MarsanBC83,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte},
editor = {Herbert D. Schwetman and
Steven C. Bruell and
Larry W. Dowdy},
title = {A class of generalised stochastic petri nets for the performance evaluation
of multiprocessor systems},
booktitle = {Proceedings of the International Conference on Measurements and Modeling
of Computer Systems, {SIGMETRICS} 1983, August 29-31, 1983, Minneapolis,
Minnesota, {USA}},
pages = {198--199},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800040.801407},
doi = {10.1145/800040.801407},
timestamp = {Tue, 06 Nov 2018 11:07:17 +0100},
biburl = {https://dblp.org/rec/conf/sigmetrics/MarsanBC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/MarsanBC82,
author = {Marco Ajmone Marsan and
Gianfranco Balbo and
Gianni Conte},
title = {Comparative Performance Analysis of Single Bus Multiprocessor Architectures},
journal = {{IEEE} Trans. Computers},
volume = {31},
number = {12},
pages = {1179--1191},
year = {1982},
url = {https://doi.org/10.1109/TC.1982.1675942},
doi = {10.1109/TC.1982.1675942},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/MarsanBC82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmg/BalboB81,
author = {Gianfranco Balbo and
Steven C. Bruell},
editor = {Donald R. Deese and
Robert J. Bishop and
Jeffrey M. Mohr and
H. Pat Artis},
title = {Aggregation in Multiclass Queueing Networks},
booktitle = {Seventh International Computer Measurement Group Conference, New Orleans,
LA, USA, December 1-4, 1981, Proceedings},
pages = {92--96},
publisher = {Computer Measurement Group},
year = {1981},
url = {http://www.cmg.org/?s2member\_file\_download=/proceedings/1981/81INT011.pdf},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmg/BalboB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/performance/BalboD79,
author = {Gianfranco Balbo and
Peter J. Denning},
editor = {M. Arat{\'{o}} and
A. Butrimenko and
Erol Gelenbe},
title = {Homogeneous Approximations of General Queueing Networks},
booktitle = {Performance of Computer Systems, Proceedings of the Fifth International
Symposium on Modelling and Performance Evaluation of Computer Systems,
Vienna, Austria, February 6-8, 1979},
pages = {353--374},
publisher = {North-Holland},
year = {1979},
timestamp = {Thu, 20 Apr 2023 12:01:21 +0200},
biburl = {https://dblp.org/rec/conf/performance/BalboD79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BalboBS77,
author = {Gianfranco Balbo and
Steven C. Bruell and
Herbert D. Schwetman},
editor = {Bruce Gilchrist},
title = {Customer Classes and Closed Network Models-A Solution Technique},
booktitle = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
Toronto, Canada, August 8-12, 1977},
pages = {559--564},
publisher = {North-Holland},
year = {1977},
timestamp = {Fri, 26 Jul 2019 22:58:45 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BalboBS77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
