default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiuliana Franceschinis
Giuliana A. Franceschinis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j27]Elvio Gilberto Amparore
, Marco Beccuti, Paolo Castagno, Simone Pernice, Giuliana Franceschinis, Marzio Pennisi:
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. 9(1): 1:1-1:30 (2024)- [c76]Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro:
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures. ITASEC 2024 - 2023
- [c75]Marzio Pennisi, Elvio G. Amparore, Giuliana Franceschinis:
Exploiting Structural Dependency Relations for Efficient Agent Based Model Simulation. EPEW 2023: 353-368 - 2022
- [j26]Susanna Donatelli, Giuliana Franceschinis:
Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021). SIGMETRICS Perform. Evaluation Rev. 49(4): 28 (2022) - 2021
- [j25]Giuliana A. Franceschinis, Balakrishna J. Prabhu, Mikaël Touati:
Editorial: Valuetools 2019. Perform. Evaluation 149-150: 102216 (2021) - [c74]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
General Composition for Symmetric Net Arc Functions with Applications. PNSE@Petri Nets 2021: 135-154 - [c73]Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice:
Multiformalism modeling and simulation of immune system mechanisms. BIBM 2021: 3259-3266 - [c72]Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice:
A Petri Net Formalism to Study Systems at Different Scales Exploiting Agent-Based and Stochastic Simulations. EPEW 2021: 22-43 - 2020
- [c71]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
SNexpression: A Symbolic Calculator for Symmetric Net Expressions. Petri Nets 2020: 381-391 - [i1]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:
Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR abs/2006.00813 (2020)
2010 – 2019
- 2019
- [c70]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:
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB 2019: 299-308 - [c69]Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia:
Analysis and Detection of Cyber Attack Processes targeting Smart Grids. ISGT Europe 2019: 1-5 - [c68]Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia:
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems. ITASEC 2019 - [c67]Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Laura Follia, Simone Pernice:
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models. MASCOTS 2019: 36-48 - 2018
- [c66]Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice:
Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding. EPEW 2018: 30-45 - 2015
- [j24]Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo:
From Symmetric Nets to Differential Equations exploiting Model Symmetries. Comput. J. 58(1): 23-39 (2015) - [c65]Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:
Markov Decision Petri Nets with Uncertainty. EPEW 2015: 177-192 - [c64]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
Computing Structural Properties of Symmetric Nets. QEST 2015: 125-140 - 2014
- [j23]Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad:
Computing Optimal Repair Strategies by Means of NdRFT Modeling and Analysis. Comput. J. 57(12): 1870-1892 (2014) - [c63]Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luca Piovesan, Luigi Portinale, Stefania Rubrichi, Matteo Spiotta, Daniele Theseider Dupré:
Advances in the GINSENG Project. ICHI 2014: 368 - 2013
- [c62]Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets 2013: 110-129 - [c61]Paolo Terenziani, Alessio Bottrighi, Laura Giordano, Giuliana Franceschinis, Stefania Montani, Luigi Portinale, Daniele Theseider Dupré:
Towards a Second Generation of Computer Interpretable Guidelines. DATA 2013: 199-205 - [c60]Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS 2013: 253-264 - [c59]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
A tool for symbolic manipulation of arc functions in symmetric net models. VALUETOOLS 2013: 320-323 - 2012
- [j22]Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis:
Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. 5(1): 14-27 (2012) - [c58]Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia:
A new symbolic approach for network reliability analysis. DSN 2012: 1-12 - [c57]Marco Beccuti, Giuliana Franceschinis:
Efficient simulation of stochastic well-formed nets through symmetry exploitation. WSC 2012: 296:1-296:13 - [e2]Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, ISBN 978-3-642-35178-5 [contents] - 2011
- [j21]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54(5): 653-673 (2011) - [j20]Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
Lumping partially symmetrical stochastic models. Perform. Evaluation 68(1): 21-44 (2011) - [c56]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Probe Automata for Passage Time Specification. QEST 2011: 101-110 - [c55]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18 - 2010
- [j19]Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf:
Preface. Fundam. Informaticae 105(3) (2010) - [c54]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis:
Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR 2010: 181-186 - [c53]Marco Beccuti, V. Fragnelli, Giuliana Franceschinis, S. Villa:
Dynamic Simulations of Kidney Exchanges. OR 2010: 539-544 - [c52]Antti Valmari, Giuliana Franceschinis:
Simple O(m logn) Time Markov Chain Lumping. TACAS 2010: 38-52
2000 – 2009
- 2009
- [j18]Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis:
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36(4): 4-9 (2009) - [c51]Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani:
Modeling Clinical Guidelines through Petri Nets. AIME 2009: 61-70 - [c50]Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad:
Parametric NdRFT for the derivation of optimal repair strategies. DSN 2009: 399-408 - [c49]Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis:
Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15 - [c48]Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis:
From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS 2009: 43 - [c47]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini:
Interfaces and binding in component based development of formal models. VALUETOOLS 2009: 44 - [c46]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis:
Multiple abstraction levels in performance analysis of WSN monitoring systems. VALUETOOLS 2009: 73 - [e1]Giuliana Franceschinis, Karsten Wolf:
Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture Notes in Computer Science 5606, Springer 2009, ISBN 978-3-642-02423-8 [contents] - 2008
- [c45]Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun:
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS 2008: 48-59 - [c44]Souheib Baarir, Marco Beccuti, Giuliana Franceschinis:
New Solvers for Asymmetric Systems in GreatSPN. QEST 2008: 235-236 - [c43]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad:
Non deterministic repairable fault trees for computing optimal repair strategy. VALUETOOLS 2008: 56 - 2007
- [c42]Marco Beccuti, Giuliana Franceschinis, Serge Haddad:
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62 - [c41]F. La Mura, Francesco Della Corte, Marco Gribaudo, B. Tosi, S. Alciati, R. Bordino, Giuliana Franceschinis:
Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator. IV 2007: 892-898 - [c40]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad:
A framework to design and solve Markov Decision Well-formed Net models. QEST 2007: 165-166 - 2006
- [j17]Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside:
Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). IEEE Trans. Software Eng. 32(8): 529-530 (2006) - [c39]Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié:
Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220 - 2005
- [c38]Giuliana Franceschinis:
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. ICATPN 2005: 1-14 - [c37]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
A High Level Language for Structural Relations in Well-Formed Nets. ICATPN 2005: 168-187 - [c36]Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis:
Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105 - [c35]Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis:
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. QEST 2005: 257-258 - 2004
- [j16]Fulvio Lazzarato, Giuliana Franceschinis, Marco Botta, Francesca Cordero, Raffaele A. Calogero:
RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets. Bioinform. 20(16): 2848-2850 (2004) - [j15]Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis:
The OsMoSys approach to multi-formalism modeling of systems. Softw. Syst. Model. 3(1): 68-81 (2004) - [c34]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196 - [c33]Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini:
Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN 2004: 659-668 - [c32]Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis:
Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS 2004: 553-563 - [c31]Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux:
Extended SWN Solvers in GreatSPN. QEST 2004: 324-325 - 2003
- [j14]Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale:
Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study. Reliab. Eng. Syst. Saf. 81(3): 269-280 (2003) - [j13]Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale:
Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. IEEE Trans. Software Eng. 29(3): 270-287 (2003) - [j12]Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro:
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. IEEE Trans. Software Eng. 29(11): 962-973 (2003) - [c30]Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro:
Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD 2003: 111-121 - [c29]Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone, Nicola Mazzocca:
SWN client-server composition operators in the OsMoSys framework. PNPM 2003: 52-61 - 2002
- [j11]Leana Golubchik, John C. S. Lui, Tak Fu Tung, Alix L. H. Chow, Adam Woei-Jyh Lee, Giuliana Franceschinis, Cosimo Anglano:
Multi-path continuous media streaming: what are the benefits? Perform. Evaluation 49(1/4): 429-449 (2002) - [c28]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini:
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS 2002: 233-238 - [c27]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello:
DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540 - [c26]Matteo Sonza Reorda, Massimo Violante, Nicola Mazzocca, Salvatore Venticinque, Andrea Bobbio, Giuliana Franceschinis:
A hierarchical approach for designing dependable systems. HLDVT 2002: 63-68 - [c25]Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale:
Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. SAFECOMP 2002: 212-223 - 2001
- [j10]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
On the use of partial symmetries for lumping Markov chains. SIGMETRICS Perform. Evaluation Rev. 28(4): 33-35 (2001) - [c24]Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale:
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. PNPM 2001: 29-38 - [c23]Giuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi:
SWN Models of a Contact Center: a Case Study. PNPM 2001: 39-48 - 2000
- [c22]Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis:
Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62 - [c21]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Exploiting Partial Symmetries for Markov Chain Aggregation. MTCS 2000: 231-257
1990 – 1999
- 1999
- [c20]Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli:
Stochastic Colored Petri Net Models for Rainbow Optical Networks. Application of Petri Nets to Communication Networks 1999: 273-303 - [c19]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS 1999: 148-155 - [c18]Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro:
Clarifying the priority specification of GSPN: Detached priorities. PNPM 1999: 114-123 - [c17]Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale:
Exploiting Petri nets to support fault tree based dependability analysis. PNPM 1999: 146-155 - 1998
- [j9]Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis:
Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Perform. Evaluation Rev. 26(2): 2 (1998) - [c16]Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso:
Performance Analysis of a WDM Bus Network Based on GSPN Models. Computer Performance Evaluation (Tools) 1998: 207-218 - 1997
- [j8]Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
A Symbolic Reachability Graph for Coloured Petri Nets. Theor. Comput. Sci. 176(1-2): 39-65 (1997) - [c15]Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti:
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. PNPM 1997: 163-172 - 1996
- [c14]Giuliana Franceschinis, Marina Ribaudo:
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) 1996: 386-437 - [c13]Susanna Donatelli, Giuliana Franceschinis:
Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) 1996: 438-476 - [c12]Oliver Botti, Susanna Donatelli, Giuliana Franceschinis:
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. Annual Simulation Symposium 1996: 118-127 - [c11]Susanna Donatelli, Giuliana Franceschinis:
The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets 1996: 133-152 - 1995
- [j7]Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo:
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perform. Evaluation 24(1-2): 47-68 (1995) - [c10]Susanna Donatelli, Giuliana Franceschinis:
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS 1995: 303-304 - 1994
- [j6]Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo:
Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. 36(7): 443-448 (1994) - [j5]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo:
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation 19(2-3): 195-222 (1994) - [j4]Giuliana Franceschinis, Richard R. Muntz:
Bounds for Quasi-Lumpable Markow Chains. Perform. Evaluation 20(1-3): 223-243 (1994) - [j3]Giuliana Franceschinis, Richard R. Muntz:
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. IEEE Trans. Software Eng. 20(7): 516-525 (1994) - [c9]Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta:
Modeling Symmetric Computer Architectures by SWNs. Application and Theory of Petri Nets 1994: 139-158 - [c8]Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo:
Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352 - 1993
- [j2]Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad:
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers 42(11): 1343-1360 (1993) - [c7]Giuliana Franceschinis, Richard R. Muntz:
Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. PNPM 1993: 148-157 - 1992
- [j1]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis:
Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distributed Comput. 15(3): 171-187 (1992) - [c6]Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta:
A symbolic simulation mechanism for well-formed coloured Petri nets. Annual Simulation Symposium 1992: 192-201 - 1991
- [c5]Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis:
GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM 1991: 20-31 - [c4]Giovanni Chiola, Giuliana Franceschinis:
A Structural Colour Simplification in Well-Formed Coloured Nets. PNPM 1991: 144-153
1980 – 1989
- 1989
- [c3]Giovanni Chiola, Giuliana Franceschinis:
Colored GSPN Models and Automatic Symmetry Detection. PNPM 1989: 50-60 - 1987
- [c2]Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet:
Generalized stochastic Petri nets for the performance evaluation of FMS. ICRA 1987: 1013-1018 - [c1]Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet:
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. PNPM 1987: 136-145
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 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:
