default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSusanna Donatelli
Person information
- affiliation: University of Turin, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c85]Elvio G. Amparore
, Susanna Donatelli, Lea Terracini:
Hilbert Composition of Multilabelled Events. Petri Nets 2024: 132-152- 2022
- [j29]Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà:
starMC: an automata based CTL* model checker. PeerJ Comput. Sci. 8: e823 (2022) - [j28]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) - [c84]Elvio G. Amparore, Susanna Donatelli:
The Ins and Outs of Petri Net Composition. Petri Nets 2022: 278-299 - [c83]Elvio G. Amparore, Marco Botta, Idilio Drago, Susanna Donatelli, Giuseppe Mazzone:
Challenges for Driver Action Recognition with Face Masks. ITSC 2022: 1491-1497 - 2021
- [j27]Susanna Donatelli, Stefan Haar, Slawomir Lasota:
Preface. Fundam. Informaticae 183(1-2) (2021) - 2020
- [j26]Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo:
Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. 22(5): 541-562 (2020) - [c82]Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà:
A CTL* Model Checker for Petri Nets. Petri Nets 2020: 403-413 - [c81]Susanna Donatelli, Serge Haddad:
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS 2020: 215-230 - [c80]Susanna Donatelli, Serge Haddad:
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA 2020: 170-183
2010 – 2019
- 2019
- [c79]Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli:
Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. QEST 2019: 355-360 - [c78]Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner:
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) 2019: 285-302 - [c77]Susanna Donatelli:
Markov regenerative processes solution and stochastic model checking: an on-the-fly approach. VALUETOOLS 2019: 1 - [p2]Elvio Gilberto Amparore, Susanna Donatelli:
Modelling and Efficient Solution of Multiple-Phased Systems. Systems Modeling: Methodologies and Tools 2019: 47-61 - [e6]Susanna Donatelli, Stefan Haar:
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Lecture Notes in Computer Science 11522, Springer 2019, ISBN 978-3-030-21570-5 [contents] - [i2]Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola:
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. CoRR abs/1910.01483 (2019) - 2018
- [j25]Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero:
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. Bioinform. 34(5): 871-872 (2018) - [j24]Elvio Gilberto Amparore, Susanna Donatelli:
Efficient model checking of the stochastic logic CSLTA. Perform. Evaluation 123-124: 1-34 (2018) - [j23]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner:
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. 13: 73-92 (2018) - [c76]Elvio Gilberto Amparore, Susanna Donatelli:
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Petri Nets 2018: 416-425 - [c75]Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli:
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. DSN Workshops 2018: 271-274 - [c74]Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango:
Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. ATT@IJCAI 2018: 70-77 - 2017
- [c73]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner:
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets 2017: 31-50 - [c72]Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini:
Modelling and Evaluation of a Control Room Application. Petri Nets 2017: 243-263 - [c71]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA 2017: 184-200 - [c70]Elvio Gilberto Amparore, Susanna Donatelli:
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). QEST 2017: 36-51 - [c69]Elvio Gilberto Amparore, Susanna Donatelli:
Analysis of Non-Markovian Systems in GreatSPN. InfQ@VALUETOOLS 2017: 127-138 - 2016
- [c68]Elvio Gilberto Amparore, Susanna Donatelli:
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. QEST 2016: 19-34 - [c67]Elvio Gilberto Amparore, Susanna Donatelli:
Efficient solution of extended Multiple-Phased Systems. VALUETOOLS 2016 - 2015
- [j22]Matteo Carrara, Josephine Lum, Francesca Cordero, Marco Beccuti, Michael Poidinger, Susanna Donatelli, Raffaele A. Calogero, Francesca Zolezzi:
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis. BMC Bioinform. 16(S-9): S2 (2015) - [c66]Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis:
Markov Decision Petri Nets with Uncertainty. EPEW 2015: 177-192 - 2014
- [j21]Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele A. Calogero:
Chimera: a Bioconductor package for secondary analysis of fusion products. Bioinform. 30(24): 3556-3557 (2014) - [c65]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
(Stochastic) Model Checking in GreatSPN. Petri Nets 2014: 354-363 - [c64]Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango:
Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) 2014: 817-822 - [c63]Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli:
A Structured Solution Approach for Markov Regenerative Processes. QEST 2014: 9-24 - 2013
- [j20]Matteo Carrara, Marco Beccuti, Federica Cavallo, Susanna Donatelli, Fulvio Lazzarato, Francesca Cordero, Raffaele A. Calogero:
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? BMC Bioinform. 14(S-7): S2 (2013) - [j19]Elvio Gilberto Amparore, Susanna Donatelli:
A component-based solution for reducible Markov regenerative processes. Perform. Evaluation 70(6): 400-422 (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]Elvio Gilberto Amparore, Susanna Donatelli:
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW 2013: 206-220 - [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 - [p1]Susanna Donatelli, Serge Haddad:
Quantitative Verification of Markov Chains. Communicating Embedded Systems 2013: 139-163 - 2012
- [j18]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) - [c59]Elvio Gilberto Amparore, Susanna Donatelli:
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. PASM/PDMC 2012: 7-26 - [e5]Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes:
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. CEUR Workshop Proceedings 827, CEUR-WS.org 2012 [contents] - [e4]Kurt Jensen, Susanna Donatelli, Jetty Kleijn:
Transactions on Petri Nets and Other Models of Concurrency V. Lecture Notes in Computer Science 6900, Springer 2012, ISBN 978-3-642-29071-8 [contents] - [i1]Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo:
Critical Utility Infrastructural Resilience. CoRR abs/1211.5736 (2012) - 2011
- [j17]Elvio Gilberto Amparore, Susanna Donatelli:
Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebra Appl. 18(6): 1067-1083 (2011) - [c58]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
Probe Automata for Passage Time Specification. QEST 2011: 101-110 - 2010
- [j16]Susanna Donatelli, Prakash Panangaden, Gerardo Rubino:
Special Issue on "Quantitative Evaluation of Systems". Perform. Evaluation 67(9): 757-758 (2010) - [c57]Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner:
GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets 2010: 308-317 - [c56]Elvio Gilberto Amparore, Susanna Donatelli:
Model checking CSLTA with Deterministic and Stochastic Petri Nets. DSN 2010: 605-614 - [c55]Elvio Gilberto Amparore, Susanna Donatelli:
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW 2010: 236-251 - [c54]Elvio Gilberto Amparore, Susanna Donatelli:
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST 2010: 79-80 - [c53]Elvio Gilberto Amparore, Susanna Donatelli:
MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST 2010: 153-154 - [e3]Kurt Jensen, Susanna Donatelli, Maciej Koutny:
Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, ISBN 978-3-642-18221-1 [contents]
2000 – 2009
- 2009
- [j15]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) - [j14]Susanna Donatelli, Serge Haddad, Jeremy Sproston:
Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009) - 2008
- [c52]Susanna Donatelli:
Dependent Automata for the Modelling of Dependencies. CRITIS 2008: 311-318 - 2007
- [c51]Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone:
UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. CRITIS 2007: 106-123 - [c50]Susanna Donatelli, Serge Haddad, Jeremy Sproston:
CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40 - [c49]Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston:
From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230 - 2006
- [j13]Jeremy Sproston, Susanna Donatelli:
Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. 32(8): 531-546 (2006) - [c48]Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston:
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152 - [c47]Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210 - [e2]Susanna Donatelli, P. S. Thiagarajan:
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings. Lecture Notes in Computer Science 4024, Springer 2006, ISBN 3-540-34699-6 [contents] - 2004
- [c46]Susanna Donatelli:
Student Forum. DSN 2004: 904 - [c45]Simona Bernardi, Susanna Donatelli, Giovanna Dondossola:
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT 2004: 36-51 - [c44]Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu:
A Comparison of Structural Formalisms for Modeling Large Markov Models. IPDPS Next Generation Software Program - NSFNGS - PI Workshop 2004 - [c43]Davide D'Aprile, Susanna Donatelli, Jeremy Sproston:
CSL Model Checking for the GreatSPN Tool. ISCIS 2004: 543-552 - [c42]Simona Bernardi, Susanna Donatelli, Giovanna Dondossola:
A class Diagram framework for collecting dependability requirements in automation systems. ISoLA (Preliminary proceedings) 2004: 276-283 - [c41]Simona Bernardi, Susanna Donatelli:
Stochastic Petri Nets and Inheritance for Dependability Modelling. PRDC 2004: 363-372 - [c40]Jeremy Sproston, Susanna Donatelli:
Backward Stochastic Bisimulation in CSL Model Checking. QEST 2004: 220-229 - [c39]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
- [c38]Simona Bernardi, Andrea Bobbio, Susanna Donatelli:
Petri Nets and Dependability. Lectures on Concurrency and Petri Nets 2003: 125-179 - [c37]Simona Bernardi, Susanna Donatelli:
Building Petri net scenarios for dependable automation systems. PNPM 2003: 72-81 - 2002
- [c36]Susanna Donatelli, Liliana Ferro:
Validation of GSPN and SWN Models through the PROD Tool. Computer Performance Evaluation / TOOLS 2002: 131-140 - [c35]Paolo Ballarini, Simona Bernardi, Susanna Donatelli:
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN 2002: 773-784 - [c34]Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola:
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. ECBS 2002: 86-93 - [c33]Simona Bernardi, Susanna Donatelli, José Merseguer:
From UML sequence diagrams and statecharts to analysable petrinet models. Workshop on Software and Performance 2002: 35-45 - 2001
- [j12]Susanna Donatelli, Peter Kemper:
Integrating synchronization with priority into a Kronecker representation. Perform. Evaluation 44(1-4): 73-96 (2001) - [j11]Simona Bernardi, Susanna Donatelli, András Horváth:
Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. 3(4): 417-430 (2001) - [c32]Susanna Donatelli:
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? ICATPN 2001: 1-18 - [c31]Simona Bernardi, Susanna Donatelli:
Performance Validation of Fault-Tolerance Software: A Compositional Approach. DSN 2001: 379-388 - 2000
- [j10]Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper:
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. 12(3): 203-222 (2000) - [c30]Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis:
Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62 - [c29]Susanna Donatelli, Marcello Sarini, Carla Simone:
Toward a Contextual Information Service supporting adaptability and awareness promotion in CSCW systems. COOP 2000: 83-98 - [c28]Susanna Donatelli, Peter Kemper:
Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS 2000: 203-215 - [c27]Oliver Botti, Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Küfner, Erwin M. Thurner, Eric Verhulst:
The TIRAN approach to reusing software implemented fault tolerance. PDP 2000: 325-332 - [c26]Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli:
Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS 2000: 207-216
1990 – 1999
- 1999
- [j9]Javier Campos, Susanna Donatelli, Manuel Silva Suárez:
Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25(2): 147-165 (1999) - [c25]Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, Axel Klein, Holger Küfner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst:
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Euro-Par 1999: 1166-1170 - [e1]Susanna Donatelli, H. C. M. Kleijn:
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Lecture Notes in Computer Science 1639, Springer 1999, ISBN 3-540-66132-8 [contents] - 1998
- [j8]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) - [c24]Susanna Donatelli, Serge Haddad, Patrice Moreaux:
Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) 1998: 243-254 - 1997
- [c23]Javier Campos, Manuel Silva Suárez, Susanna Donatelli:
Structured solution of stochastic DSSP systems. PNPM 1997: 91-100 - [c22]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
- [j7]Susanna Donatelli, Nicola Mazzocca, Stefano Russo:
Client - server programs analysis in the EPOCA environment. Distributed Syst. Eng. 3(3): 149-161 (1996) - [c21]Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli:
Petri Nets in Performance Analysis: An Introduction. Petri Nets 1996: 211-256 - [c20]Susanna Donatelli, Giuliana Franceschinis:
Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) 1996: 438-476 - [c19]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 - [c18]Susanna Donatelli, Giuliana Franceschinis:
The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets 1996: 133-152 - [c17]Susanna Donatelli, Nicola Mazzocca, Stefano Russo:
EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems 1996: 265-270 - 1995
- [c16]Susanna Donatelli, Marina Ribaudo, Jane Hillston:
A comparison of performance evaluation process algebra and generalized stochastic Petri nets. PNPM 1995: 158-168 - [c15]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) - [c14]Susanna Donatelli:
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. Application and Theory of Petri Nets 1994: 258-277 - [c13]Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo:
Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352 - 1993
- [j4]Susanna Donatelli:
Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space. Perform. Evaluation 18(1): 21-36 (1993) - [c12]Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino:
Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiserver Multiqueue Systems. INFOCOM 1993: 176-185 - [c11]Susanna Donatelli, Cosimo Anglano:
On the use of communication graphs in automatic mapping. PDP 1993: 490-498 - [c10]Cosimo Anglano, Susanna Donatelli, Rossano Gaeta:
Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets. PNPM 1993: 226-235 - 1992
- [j3]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis:
Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distributed Comput. 15(3): 171-187 (1992) - [c9]Susanna Donatelli,