|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lynda Mokdad, Mbaye Sene, Azzedine Boukerche |
Call Admission Control Performance Analysis in Mobile Networks Using Stochastic Well-Formed Petri Nets.  |
IEEE Trans. Parallel Distrib. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
stochastic well-formed Petri nets, GreatSPN tool, Synchronization, mobile networks, call admission control, handover |
| 1 | Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis |
The GreatSPN tool: recent enhancements. |
SIGMETRICS Performance Evaluation Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Beccuti, Giuliana Franceschinis, Serge Haddad |
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide D'Aprile, Susanna Donatelli, Jeremy Sproston |
CSL Model Checking for the GreatSPN Tool. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux |
Extended SWN Solvers in GreatSPN. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Susanna Donatelli, Liliana Ferro |
Validation of GSPN and SWN Models through the PROD Tool. |
Computer Performance Evaluation / TOOLS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Bernardi, Susanna Donatelli, András Horváth |
Implementing compositionality for stochastic Petri nets. |
STTT |
2001 |
DBLP DOI BibTeX RDF |
Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")