Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
156 | Simonetta Balsamo, Andrea Marin |
Representing LCFSPR BCMP service center with Coxian service time by GSPN.  |
VALUETOOLS  |
2007 |
DBLP DOI BibTeX RDF |
BCMP theorem, Coxian distribution, LCFSPR scheduling discipline, multi-class system, GSPN |
101 | Chang-Bae Moon, Woojin Chung |
Control architecture design of a multi-functional service robot using the GSPN (Generalized-Stochastic Petri-Nets).  |
IROS  |
2008 |
DBLP DOI BibTeX RDF |
|
94 | Tony Tsang |
Modelling and Performance Evaluation of Mobile Multimedia Systems Using QoS-GSPN.  |
Wirel. Networks  |
2003 |
DBLP DOI BibTeX RDF |
QoS-GSPN, QoS, multimedia system, mobile system |
94 | Tony Tsang |
Modelling QoS Based Admission Control in Mobile Multimedia Systems Using an Extension of GSPN.  |
ICOIN (2)  |
2002 |
DBLP DOI BibTeX RDF |
quality of services, multimedia, mobile systems, GSPN |
70 | Hany H. Ammar, S. M. Rezaul Islam |
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling |
70 | Masahiro Tsunoyama, Hiroei Imai |
An evaluation method for delay time and its jitter of WLAN using a GSPN model.  |
LCN  |
2008 |
DBLP DOI BibTeX RDF |
|
70 | Stefano Caselli, Gianni Conte, Paolo Marenzoni |
Parallel State Space Exploration for GSPN Models.  |
Application and Theory of Petri Nets  |
1995 |
DBLP DOI BibTeX RDF |
|
70 | Stefano Caselli, Gianni Conte, F. Bonardi, M. Fontanesi |
Experiences on SIMD Massively Parallel GSPN Analysis.  |
Computer Performance Evaluation  |
1994 |
DBLP DOI BibTeX RDF |
|
62 | Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo 0001 |
Software Architecture of the EPOCA Integrated Environment.  |
Computer Performance Evaluation  |
1994 |
DBLP DOI BibTeX RDF |
|
62 | Gianfranco Balbo |
Performance Issues in Parallel Programming.  |
Application and Theory of Petri Nets  |
1992 |
DBLP DOI BibTeX RDF |
|
55 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
A System Dependability Modeling Framework Using AADL and GSPNs.  |
WADS ![In: Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, Philadelphia, PA, USA], pp. 14-38, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evaluation, model transformation, AADL, dependability modeling, GSPN |
55 | Marco Ajmone Marsan, Rossano Gaeta |
Modeling ATMsystems with GSPNs and SWNs.  |
SIGMETRICS Perform. Evaluation Rev.  |
1998 |
DBLP DOI BibTeX RDF |
Gauss switch, SWN, knockout switch, ATM, LAN, ABR, GSPN |
55 | Cristian Constantinescu |
Dependability evaluation of a fault-tolerant processor by GSPN modeling.  |
IEEE Trans. Reliab.  |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Leonardo Brenner, Paulo Fernandes 0001, Afonso Sales, Thais Webber |
A Framework to Decompose GSPN Models.  |
ICATPN  |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno |
A GSPN Model for the Analysis of DNS-Based Redirection in Distributed Web Systems.  |
MASCOTS  |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Susanna Donatelli, Liliana Ferro |
Validation of GSPN and SWN Models through the PROD Tool.  |
Computer Performance Evaluation / TOOLS  |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Peter Buchholz 0001, Peter Kemper |
On generating a hierarchy for GSPN analysis.  |
SIGMETRICS Perform. Evaluation Rev.  |
1998 |
DBLP DOI BibTeX RDF |
Markov chain analysis techniques, hierarchical structure, generalized stochastic Petri nets, Kronecker algebra |
47 | Guenter Klas |
Protocol Optimization for a Packet-Switched Bus in Case of Burst Traffic by Means of GSPN.  |
Application and Theory of Petri Nets  |
1993 |
DBLP DOI BibTeX RDF |
Bus Pipeline, Performance Modeling, Multiprocessor Systems, GSPN |
47 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Elena Gómez-Martínez, José Merseguer |
ArgoSPE: Model-Based Software Performance Engineering.  |
ICATPN  |
2006 |
DBLP DOI BibTeX RDF |
UML-SPT, UML, software performance evaluation, GSPN |
39 | N. R. Srinivasa Raghavan, Debjit Roy |
A Stochastic Petri Net Approach for Inventory Rationing in Multi-Echelon Supply Chains.  |
J. Heuristics  |
2005 |
DBLP DOI BibTeX RDF |
inventory rationing, supply chain management, numerical optimization, GSPN |
39 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
Modeling and evaluation of supply chains with GSPN components.  |
VALUETOOLS  |
2007 |
DBLP DOI BibTeX RDF |
performance evaluation, modeling, petri nets, supply chain management, stochastic processes, logistics |
39 | Adilson Arcoverde, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations.  |
SMC  |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Maryam Fanaeepour, Leila Naghavian, Mohammad Abdollahi Azgomi |
Modeling and Evaluation of Call Centers with GSPN Models.  |
AICCSA  |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Jörn Freiheit, Jonathan Billington |
New Developments in Closed-Form Computation for GSPN Aggregation.  |
ICFEM  |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Marco Ajmone Marsan, Michele Garetto, Renato Lo Cigno, Michela Meo |
Colored GSPN Models for the QoS Design of Internet Subnets.  |
ICATPN  |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Axel W. Krings, Paul W. Oman |
A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures.  |
HICSS  |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger |
Symbolic Methods for the State Space Exploration of GSPN Models.  |
Computer Performance Evaluation / TOOLS  |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli |
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models.  |
ICATPN  |
1998 |
DBLP DOI BibTeX RDF |
|
39 | 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 |
|
39 | Donna S. Nielsen, Leonard Kleinrock |
Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model.  |
Application and Theory of Petri Nets  |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis |
Tagged Generalized Stochastic Petri Nets.  |
EPEW  |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Yunni Xia, Jun Chen, Mingqiang Zhou, Yu Huang 0004 |
A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies.  |
APWeb/WAIM Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Simona Bernardi 0001, José Merseguer |
QoS Assessment via Stochastic Analysis.  |
IEEE Internet Comput.  |
2006 |
DBLP DOI BibTeX RDF |
QoS, quality of service, fault tolerance, UML, Performance measures, stochastic models, State diagrams, design tools and techniques |
31 | Nimrod Lilith, Jonathan Billington, Jörn Freiheit |
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets.  |
VALUETOOLS  |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jinchun Xia, Yujia Ge, Carl K. Chang |
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM.  |
COMPSAC (1)  |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro |
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities.  |
IEEE Trans. Software Eng.  |
2003 |
DBLP DOI BibTeX RDF |
priorities, conflict, Stochastic Petri nets, modeling methodology, confusion |
31 | Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt |
Response time densities in generalised stochastic petrinet models.  |
Workshop on Software and Performance  |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Peter J. B. King, Rob Pooley |
Derivation of Petri Net Performance Models from UML Specifications of Communications Software.  |
Computer Performance Evaluation / TOOLS  |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Qinru Qiu, Qing Wu 0002, Massoud Pedram |
Dynamic power management of complex systems using generalized stochastic Petri nets.  |
DAC  |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Noé Lopez-Benitez, Ja-Young Hyon |
Simulation of Task Graph Systems in Heterogeneous Computing Environments.  |
Heterogeneous Computing Workshop  |
1999 |
DBLP DOI BibTeX RDF |
simulation, performance evaluation, Petri nets, distributed computing, heterogeneous computing, task graphs |
31 | Susanna Donatelli, Giuliana Franceschinis |
The PSR Methodology: Integrating Hardware and Software Models.  |
Application and Theory of Petri Nets  |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net |
24 | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
Probe Automata for Passage Time Specification.  |
QEST  |
2011 |
DBLP DOI BibTeX RDF |
passage time, Markov chains, GSPN |
24 | Elena Gómez-Martínez, Sergio Ilarri, José Merseguer |
Performance analysis of mobile agents tracking.  |
WOSP  |
2007 |
DBLP DOI BibTeX RDF |
generalized stochastic Petri nets (GSPN), mobile agents tracking, software performance engineering(SPE), PUMA |
24 | Simona Bernardi 0001, Susanna Donatelli, José Merseguer |
From UML sequence diagrams and statecharts to analysable petrinet models.  |
Workshop on Software and Performance  |
2002 |
DBLP DOI BibTeX RDF |
modeling, UML, compositionality, GSPN |
24 | Peter Kemper |
Numerical Analysis of Superposed GSPNs.  |
IEEE Trans. Software Eng.  |
1996 |
DBLP DOI BibTeX RDF |
superposed GSPN, numerical solution algorithm for steady-state analysis tensor/Kronecker algebra, Markov process, decomposition, reachability analysis, Stochastic Petri net, structured representation |
24 | Dar-Tzen Peng, Kang G. Shin |
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control.  |
IEEE Trans. Computers  |
1987 |
DBLP DOI BibTeX RDF |
task flow graph (TFG), Activity selection, continuous-time Markov chain (CTMC), generalized stochastic Petri nets (GSPN), reachability analysis, real-time control, first passage time, communication primitives |
24 | Yining Zeng, Youchao Sun, Tao Xu, Siyu Su |
A reliability evaluation method for complex systems based on the editable GSPN and adaptive Monte Carlo simulation.  |
Syst. Eng.  |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Nikolaos G. Bourbakis, Stavros Mallios |
A formal GSPN model of a virtual doctor dialogue system.  |
Simul.  |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Samir Tigane, Fayçal Guerrouf, Laïd Kahloul |
A GSPN-based formalism under infinite-server semantics for reconfigurable WANETs.  |
Computing  |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Israel Eduardo de Barros Filho, Ivanovitch Silva, Daniel G. Costa, Carlos M. D. Viegas, Paolo Ferrari |
A reliability and performance GSPN-Based model for anti-collision RFID algorithms under noisy channels in industrial internet of things.  |
Comput. Ind.  |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Hongxia Gao, Zhenhua Yu 0001, Xuya Cong, Jing Wang |
Trustworthiness Evaluation of Smart Grids Using GSPN.  |
ICNSC  |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Pu Yuan 0002, Kan Zheng, Xiong Xiong, Kuan Zhang, Lei Lei 0004 |
Performance modeling and analysis of a Hyperledger-based system using GSPN.  |
Comput. Commun.  |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Pu Yuan 0002, Kan Zheng, Xiong Xiong, Kuan Zhang, Lei Lei 0004 |
Performance Modeling and Analysis of a Hyperledger-based System Using GSPN.  |
CoRR  |
2020 |
DBLP BibTeX RDF |
|
24 | Carlos Azevedo, Pedro U. Lima |
A GSPN Software Framework to Model and Analyze Robot Tasks.  |
ICARSC  |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Li Yi, Wang Zhao, He Wang 0010, Minhyuk Sung, Leonidas J. Guibas |
GSPN: Generative Shape Proposal Network for 3D Instance Segmentation in Point Cloud.  |
CVPR  |
2019 |
DBLP BibTeX RDF |
|
24 | Li Yi, Wang Zhao, He Wang 0010, Minhyuk Sung, Leonidas J. Guibas |
GSPN: Generative Shape Proposal Network for 3D Instance Segmentation in Point Cloud.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
24 | Stefano Caselli, Gianni Conte, Mauro Diligenti |
Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models.  |
InfQ@VALUETOOLS  |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Songyuan Li, Jiwei Huang |
GSPN-Based Reliability-Aware Performance Evaluation of IoT Services.  |
SCC  |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Xiang Hu, Li Jiao, Yesheng Chai |
从UML到GSPN的转换和性能分析方法 (Transforming UML to GSPN for Performance Analysis).  |
计算机科学  |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Kai Wang, Xin Chen, Xudong Xiang |
呼叫准入约束下Macro-Femto小区选择GSPN模型研究 (Cell Selection GSPN Model Constrained by Call Admission in Macro-Femto Networks).  |
计算机科学  |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Mohamed Garoui |
Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN.  |
BMMDS/EMMSAD  |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Samir Tigane, Laïd Kahloul, Samir Bourekkache |
Net rewriting system for GSPN a RMS case study.  |
ICAASE  |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Franco Cicirelli, Christian Nigro, Libero Nigro |
Statistical Model Checking of GSPN Models.  |
SIMULTECH  |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Elvio Gilberto Amparore |
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking.  |
QEST  |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Joost-Pieter Katoen, Thomas Noll 0001, Thomas Santen, Dirk Seifert, Hao Wu 0013 |
Performance Analysis of Computing Servers - A Case Study Exploiting a New GSPN Semantics.  |
MMB/DFT  |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang 0001 |
A Semantics for Every GSPN.  |
Petri Nets  |
2013 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
DBLP DOI BibTeX RDF |
|
24 | Chengan Zhao, Chunlai Zhou |
Modeling of Scheduling Algorithms of Downstream Channel Bonding in DOCSIS3.0 Based on GSPN.  |
EMS  |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Daniele Codetta Raiteri, Luigi Portinale |
A GSPN based tool to inference generalized continuous time Bayesian networks.  |
VALUETOOLS  |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Cheng-Min Lin |
Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework.  |
IEICE Trans. Inf. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Richard Lai 0001, Tony Tsang |
Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method.  |
Int. J. Softw. Eng. Knowl. Eng.  |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Elvio Gilberto Amparore, Susanna Donatelli |
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN.  |
QEST  |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Zhi-xiang Yuan, Jun Zhou, Hong Ye |
A GSPN-based Grid Resource Schedule Algorithm.  |
GCC  |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Kresimir Mihic |
Stochastic Scheduling of Parallel Applications on Heterogeneous Systems Using GSPN.  |
PDPTA  |
2010 |
DBLP BibTeX RDF |
|
24 | Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley |
Distributed Response Time Analysis of GSPN Models with MapReduce.  |
Simul.  |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yongfa Qin, Rongyou Xu |
GSPN-based modeling and analysis for robotized assembly system.  |
ROBIO  |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Dario Bruneo, Marco Scarpa, Antonio Puliafito |
A GSPN Model to Analyze Performance Parameters in gLite Grids.  |
WETICE  |
2008 |
DBLP DOI BibTeX RDF |
gLite middleware, MPI-based jobs, Grid computing, Performance measurements, Generalized Stochastic Petri Nets |
24 | Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima |
A GSPN based approach to evaluate outbound logistics.  |
SMC  |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Nawel Gharbi, Malika Ioualalen |
GSPN analysis of retrial systems with servers breakdowns and repairs.  |
Appl. Math. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sérgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel |
Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems.  |
SMC  |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Gunhee Kim, Woojin Chung, Sung-Kee Park, Munsang Kim |
Experimental research of navigation behavior selection using generalized stochastic Petri nets (GSPN) for a tour-guide robot.  |
IROS  |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Massimiliano De Pierro |
Structural analysis of conflicts and causality in GSPN and SWN.  |
|
2005 |
RDF |
|
24 | Andrew S. Miner |
Implicit GSPN reachability set generation using decision diagrams.  |
Perform. Evaluation  |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jörn Freiheit, Armin Heindl |
Novel Formulae for GSPN Aggregation.  |
MASCOTS  |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Stefano Caselli, Gianni Conte, Paolo Marenzoni |
A Distributed Algorithm for GSPN Reachability Graph Generation.  |
J. Parallel Distributed Comput.  |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Fabio Neri, C. Scarpati Cioffari, A. Vasco |
GSPN models of bridged LAN configurations.  |
J. Syst. Archit.  |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Michela Meo, Matteo Sereno |
GSPN analysis of dual-band mobile telephony networks.  |
PNPM  |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro |
Clarifying the priority specification of GSPN: Detached priorities.  |
PNPM  |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Peter Ziegler |
Strukturbasierte Dekomposition von allgemeinen stochastischen Petrinetzen (GSPN).  |
|
1999 |
RDF |
|
24 | Peter Ziegler, Helena Szczerbicka |
Performance and performability evaluation of FMS using GSPN.  |
SMC  |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Matthias Becker 0002, Helena Szczerbicka |
Modeling and optimization of kanban controlled manufacturing systems with GSPN including QN.  |
SMC  |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Marco Gribaudo, Matteo Sereno |
GSPN semantics for queueing networks with blocking.  |
PNPM  |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Khalid Begain, Rossano Gaeta, Miklós Telek |
GSPN analysis of ABR in ATM LANs.  |
PNPM  |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Rossano Gaeta |
GSPN models of ATM switches.  |
PNPM  |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Marenzoni, Stefano Caselli, Gianni Conte |
Analysis of large GSPN models: a distributed solution tool.  |
PNPM  |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Cosimo Anglano |
Automatic generation of GSPN models for the performance evaluation of heterogeneous applications.  |
PDP  |
1997 |
DBLP BibTeX RDF |
|
24 | Oliver Botti, Lorenzo Capra |
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems.  |
J. Syst. Archit.  |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Oliver Botti, Lorenzo Capra |
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation.  |
Software Engineering for Parallel and Distributed Systems  |
1996 |
DBLP BibTeX RDF |
|