Search results for "GreatSPN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
130	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry	dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.	ICATPN	2007	DBLP DOI BibTeX RDF	GreatSPN, Distributed Model Checking, Symbolic Reachability Graph
53	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	DBLP DOI BibTeX RDF
44	Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié	Efficient lumpability check in partially symmetric systems.	QEST	2006	DBLP DOI BibTeX RDF
44	Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston	Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.	ACSD	2006	DBLP DOI BibTeX RDF
44	Susanna Donatelli, Liliana Ferro	Validation of GSPN and SWN Models through the PROD Tool.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
44	Simona Bernardi 0001, Susanna Donatelli, András Horváth	Implementing compositionality for stochastic Petri nets.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality
33	Lynda Mokdad, Mbaye Sene, Azzedine Boukerche	Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	stochastic well-formed Petri nets, GreatSPN tool, Synchronization, mobile networks, call admission control, handover
31	Elvio G. Amparore	Stochastic modelling and evaluation using GreatSPN.	SIGMETRICS Perform. Evaluation Rev.	2022	DBLP DOI BibTeX RDF
31	Elvio Gilberto Amparore, Susanna Donatelli	Analysis of Non-Markovian Systems in GreatSPN.	InfQ@VALUETOOLS	2017	DBLP DOI BibTeX RDF
31	Elvio Gilberto Amparore	Reengineering the Editor of the GreatSPN Framework.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
31	Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli	(Stochastic) Model Checking in GreatSPN.	Petri Nets	2014	DBLP DOI BibTeX RDF
31	Elvio Gilberto Amparore	A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking.	QEST	2014	DBLP DOI BibTeX RDF
31	Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner	GreatSPN Enhanced with Decision Diagram Data Structures.	Petri Nets	2010	DBLP DOI BibTeX RDF
31	Elvio Gilberto Amparore, Susanna Donatelli	DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN.	QEST	2010	DBLP DOI BibTeX RDF
31	Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis	The GreatSPN tool: recent enhancements.	SIGMETRICS Perform. Evaluation Rev.	2009	DBLP DOI BibTeX RDF
31	Souheib Baarir, Marco Beccuti, Giuliana Franceschinis	New Solvers for Asymmetric Systems in GreatSPN.	QEST	2008	DBLP DOI BibTeX RDF
31	Davide D'Aprile, Susanna Donatelli, Jeremy Sproston	CSL Model Checking for the GreatSPN Tool.	ISCIS	2004	DBLP DOI BibTeX RDF
31	Marco Bernardo 0001, Nadia Busi, Marina Ribaudo	Integrating TwoTowers and GreatSPN through a compact net semantics.	Perform. Evaluation	2002	DBLP DOI BibTeX RDF
31	Marco Bernardo 0001, Nadia Busi, Marina Ribaudo	Integrating Two Towers and GreatSPN.	ICALP Satellite Workshops	2000	DBLP BibTeX RDF
31	Richard Lai 0001	Performance Results for the CSMA/CD Protocol Using GreatSPN.	J. Syst. Softw.	1997	DBLP DOI BibTeX RDF
31	Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo	GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.	Perform. Evaluation	1995	DBLP DOI BibTeX RDF
22	Marco Beccuti, Giuliana Franceschinis, Serge Haddad	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.	ICATPN	2007	DBLP DOI BibTeX RDF
22	Paolo Ballarini, Simona Bernardi 0001, Susanna Donatelli	Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.	DSN	2002	DBLP DOI BibTeX RDF
22	Omer F. Rana	A Design and Management Framework for Mobile Agent Systems.	MASCOTS	1999	DBLP DOI BibTeX RDF	Petri nets, Mobile Agents, Design Patterns, Performance Estimation, Aglets
22	Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso	Performance Analysis of a WDM Bus Network Based on GSPN Models.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
22	Stefano Caselli, Gianni Conte, F. Bonardi, M. Fontanesi	Experiences on SIMD Massively Parallel GSPN Analysis.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
22	Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo 0001	Software Architecture of the EPOCA Integrated Environment.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF