Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
156 | Simonetta Balsamo, Andrea Marin |
Representing LCFSPR BCMP service center with Coxian service time by GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 33, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 3236-3241, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
94 | Tony Tsang |
Modelling and Performance Evaluation of Mobile Multimedia Systems Using QoS-GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 9(6), pp. 575-584, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN (2) ![In: Information Networking, Wireless Communications Technologies and Network Applications, International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002, Revised Papers, Part II, pp. 3-10, 2002, Springer, 3-540-44255-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 809-820, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: LCN 2008, The 33rd IEEE Conference on Local Computer Networks, The Conference on Leading Edge and Practical Computer Networking, Hyatt Regency Montreal, Montreal, Quebec, Canada, 14-17 October 2008, Proceedings, pp. 811-812, 2008, IEEE Computer Society, 978-1-4244-2412-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
70 | Stefano Caselli, Gianni Conte, Paolo Marenzoni |
Parallel State Space Exploration for GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings, pp. 181-200, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
70 | Stefano Caselli, Gianni Conte, F. Bonardi, M. Fontanesi |
Experiences on SIMD Massively Parallel GSPN Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation ![In: Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings, pp. 266-283, 1994, Springer, 3-540-58021-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
62 | Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo 0001 |
Software Architecture of the EPOCA Integrated Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation ![In: Computer Performance Evaluation, Modeling Techniques and Tools, 7th International Conference, Vienna, Austria, May 3-6, 1994, Proceedings, pp. 335-352, 1994, Springer, 3-540-58021-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
62 | Gianfranco Balbo |
Performance Issues in Parallel Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings, pp. 1-23, 1992, Springer, 3-540-55676-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
55 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
A System Dependability Modeling Framework Using AADL and GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 26(2), pp. 28-37, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 54(3), pp. 468-474, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Leonardo Brenner, Paulo Fernandes 0001, Afonso Sales, Thais Webber |
A Framework to Decompose GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 128-147, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 12th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2004), 4-8 October 2004, Vollendam, The Netherlands, pp. 39-48, 2004, IEEE Computer Society, 0-7695-2251-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
55 | Susanna Donatelli, Liliana Ferro |
Validation of GSPN and SWN Models through the PROD Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings, pp. 131-140, 2002, Springer, 3-540-43539-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
55 | Peter Buchholz 0001, Peter Kemper |
On generating a hierarchy for GSPN analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 26(2), pp. 5-14, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 572-581, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008, pp. 85-90, 2008, IEEE Computer Society, 978-0-7695-3138-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Elena Gómez-Martínez, José Merseguer |
ArgoSPE: Model-Based Software Performance Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: 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, pp. 401-410, 2006, Springer, 3-540-34699-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 11(5-6), pp. 421-446, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 31, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2894-2900, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Maryam Fanaeepour, Leila Naghavian, Mohammad Abdollahi Azgomi |
Modeling and Evaluation of Call Centers with GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 13-16 May 2007, Amman, Jordan, pp. 619-622, 2007, IEEE Computer Society, 1-4244-1030-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Jörn Freiheit, Jonathan Billington |
New Developments in Closed-Form Computation for GSPN Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 471-490, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 36, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Axel W. Krings, Paul W. Oman |
A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 36th Hawaii International Conference on System Sciences (HICSS-36 2003), CD-ROM / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, USA, pp. 334, 2003, IEEE Computer Society, 0-7695-1874-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger |
Symbolic Methods for the State Space Exploration of GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings, pp. 188-199, 2002, Springer, 3-540-43539-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli |
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings, pp. 44-63, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso |
Performance Analysis of a WDM Bus Network Based on GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation (Tools) ![In: Computer Performance Evaluation: Modelling Techniques and Tools, 10th International Conference, Tools '98, Palma de Mallorca, Spain, September 14-18, 1998, Proceedings, pp. 207-218, 1998, Springer, 3-540-64949-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 396-415, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis |
Tagged Generalized Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings, pp. 1-15, 2009, Springer, 978-3-642-02923-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2009 International Workshops: WCMT 2009, RTBI 2009, DBIR-ENQOIR 2009, PAIS 2009, Suzhou, China, April 2-4, 2009, Revised Selected Papers, pp. 113-124, 2009, Springer, 978-3-642-03995-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Simona Bernardi 0001, José Merseguer |
QoS Assessment via Stochastic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 10(3), pp. 32-42, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006, pp. 32, 2006, ACM, 1-59593-504-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jinchun Xia, Yujia Ge, Carl K. Chang |
An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 307-312, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 29(11), pp. 962-973, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 46-54, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Peter J. B. King, Rob Pooley |
Derivation of Petri Net Performance Models from UML Specifications of Communications Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings, pp. 262-276, 2000, Springer, 3-540-67260-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Qinru Qiu, Qing Wu 0002, Massoud Pedram |
Dynamic power management of complex systems using generalized stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000., pp. 352-356, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Noé Lopez-Benitez, Ja-Young Hyon |
Simulation of Task Graph Systems in Heterogeneous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 8th Heterogeneous Computing Workshop, HCW 1999, San Juan, Puerto Rico, April12, 1999, pp. 112-124, 1999, IEEE Computer Society, 0-7695-0107-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 133-152, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 89-107, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 101-110, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, pp. 181-188, 2007, ACM, 1-59593-297-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Software and Performance ![In: Third International Workshop on Software and Performance, WOSP@ISSTA 2002, July 24-26, 2002, Rome, Italy., pp. 35-45, 2002, ACM, 1-58113-563-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
modeling, UML, compositionality, GSPN |
24 | Peter Kemper |
Numerical Analysis of Superposed GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(9), pp. 615-628, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 36(4), pp. 500-516, 1987. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 27(3), pp. 520-531, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Nikolaos G. Bourbakis, Stavros Mallios |
A formal GSPN model of a virtual doctor dialogue system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 99(5), pp. 475-492, May 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 105(10), pp. 2263-2291, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Ind. ![In: Comput. Ind. 125, pp. 103381, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Hongxia Gao, Zhenhua Yu 0001, Xuya Cong, Jing Wang |
Trustworthiness Evaluation of Smart Grids Using GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: IEEE International Conference on Networking, Sensing and Control, ICNSC 2021, Xiamen, China, December 3-5, 2021, pp. 1-7, 2021, IEEE, 978-1-6654-4048-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 153, pp. 117-124, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.03109, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Carlos Azevedo, Pedro U. Lima |
A GSPN Software Framework to Model and Analyze Robot Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARSC ![In: 2019 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2019, Porto, Portugal, April 24-26, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-3558-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2019, Long Beach, CA, USA, June 16-20, 2019, pp. 3947-3956, 2019, Computer Vision Foundation / IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.03320, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Stefano Caselli, Gianni Conte, Mauro Diligenti |
Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
InfQ@VALUETOOLS ![In: New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers, pp. 139-155, 2017, Springer, 978-3-319-91631-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Songyuan Li, Jiwei Huang |
GSPN-Based Reliability-Aware Performance Evaluation of IoT Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCC ![In: 2017 IEEE International Conference on Services Computing, SCC 2017, Honolulu, HI, USA, June 25-30, 2017, pp. 483-486, 2017, IEEE Computer Society, 978-1-5386-2005-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Xiang Hu, Li Jiao, Yesheng Chai |
从UML到GSPN的转换和性能分析方法 (Transforming UML to GSPN for Performance Analysis). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(11), pp. 49-54, 2016. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 43(11), pp. 88-93, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Mohamed Garoui |
Modeling and Analysis of Vehicles Platoon Safety in a Dynamic Environment Based on GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMMDS/EMMSAD ![In: Enterprise, Business-Process and Information Systems Modeling - 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings, pp. 465-478, 2016, Springer, 978-3-319-39428-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Samir Tigane, Laïd Kahloul, Samir Bourekkache |
Net rewriting system for GSPN a RMS case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAASE ![In: 2016 International Conference on Advanced Aspects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30, 2016, pp. 38-45, 2016, IEEE, 978-1-5090-3263-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Franco Cicirelli, Christian Nigro, Libero Nigro |
Statistical Model Checking of GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21 - 23 July, 2015., pp. 69-76, 2015, SciTePress, 978-989-758-120-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Elvio Gilberto Amparore |
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, pp. 170-173, 2014, Springer, 978-3-319-10695-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB/DFT ![In: Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings, pp. 57-72, 2014, Springer, 978-3-319-05358-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang 0001 |
A Semantics for Every GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, pp. 90-109, 2013, Springer, 978-3-642-38696-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, pp. 110-129, 2013, Springer, 978-3-642-38696-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Chengan Zhao, Chunlai Zhou |
Modeling of Scheduling Algorithms of Downstream Channel Bonding in DOCSIS3.0 Based on GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMS ![In: Seventh UKSim/AMSS European Modelling Symposium, EMS 2013, 20-22 November, 2013, Manchester UK, pp. 664-669, 2013, IEEE, 978-1-4799-2578-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Daniele Codetta Raiteri, Luigi Portinale |
A GSPN based tool to inference generalized continuous time Bayesian networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013, pp. 316-319, 2013, ICST/ACM, 978-1-936968-48-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Cheng-Min Lin |
Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 93-D(9), pp. 2509-2519, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Richard Lai 0001, Tony Tsang |
Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 20(4), pp. 549-573, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Elvio Gilberto Amparore, Susanna Donatelli |
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pp. 79-80, 2010, IEEE Computer Society, 978-0-7695-4188-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Zhi-xiang Yuan, Jun Zhou, Hong Ye |
A GSPN-based Grid Resource Schedule Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: GCC 2010, The Ninth International Conference on Grid and Cloud Computing, Nanjing, Jiangsu, China, 1-5 November 2010, pp. 457-460, 2010, IEEE Computer Society, 978-0-7695-4313-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Kresimir Mihic |
Stochastic Scheduling of Parallel Applications on Heterogeneous Systems Using GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2010, Las Vegas, Nevada, USA, July 12-15, 2010, 2 Volumes, pp. 270-276, 2010, CSREA Press, 1-60132-158-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Oliver J. Haggarty, William J. Knottenbelt, Jeremy T. Bradley |
Distributed Response Time Analysis of GSPN Models with MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 85(8), pp. 497-509, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yongfa Qin, Rongyou Xu |
GSPN-based modeling and analysis for robotized assembly system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBIO ![In: IEEE International Conference on Robotics and Biomimetics, ROBIO 2008, February 22-25, 2009, Bangkok, Thailand, pp. 1070-1075, 2008, IEEE, 978-1-4244-2678-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Dario Bruneo, Marco Scarpa, Antonio Puliafito |
A GSPN Model to Analyze Performance Parameters in gLite Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2008, Rome, Italy, June 23-25, 2008, Proceedings, pp. 198-203, 2008, IEEE Computer Society, 978-0-7695-3315-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 708-713, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Nawel Gharbi, Malika Ioualalen |
GSPN analysis of retrial systems with servers breakdowns and repairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 174(2), pp. 1151-1168, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Taipei, Taiwan, October 8-11, 2006, pp. 3046-3051, 2006, IEEE, 1-4244-0099-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, Edmonton, Alberta, Canada, August 2-6, 2005, pp. 2259-2265, 2005, IEEE, 0-7803-8912-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Massimiliano De Pierro |
Structural analysis of conflicts and causality in GSPN and SWN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
24 | Andrew S. Miner |
Implicit GSPN reachability set generation using decision diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 56(1-4), pp. 145-165, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Jörn Freiheit, Armin Heindl |
Novel Formulae for GSPN Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 10th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 11-16 October 2002, Fort Worth, Texas, USA, pp. 209-216, 2002, IEEE Computer Society, 0-7695-1840-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Stefano Caselli, Gianni Conte, Paolo Marenzoni |
A Distributed Algorithm for GSPN Reachability Graph Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 61(1), pp. 79-95, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Fabio Neri, C. Scarpati Cioffari, A. Vasco |
GSPN models of bridged LAN configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 46(2), pp. 105-130, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Michela Meo, Matteo Sereno |
GSPN analysis of dual-band mobile telephony networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 54-63, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro |
Clarifying the priority specification of GSPN: Detached priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 114-123, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Peter Ziegler |
Strukturbasierte Dekomposition von allgemeinen stochastischen Petrinetzen (GSPN). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
24 | Peter Ziegler, Helena Szczerbicka |
Performance and performability evaluation of FMS using GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998, pp. 511-516, 1998, IEEE, 0-7803-4778-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Matthias Becker 0002, Helena Szczerbicka |
Modeling and optimization of kanban controlled manufacturing systems with GSPN including QN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998, pp. 570-575, 1998, IEEE, 0-7803-4778-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Marco Gribaudo, Matteo Sereno |
GSPN semantics for queueing networks with blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 26-35, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Khalid Begain, Rossano Gaeta, Miklós Telek |
GSPN analysis of ABR in ATM LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 227-236, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Rossano Gaeta |
GSPN models of ATM switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 237-246, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Marenzoni, Stefano Caselli, Gianni Conte |
Analysis of large GSPN models: a distributed solution tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 122-131, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Cosimo Anglano |
Automatic generation of GSPN models for the performance evaluation of heterogeneous applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), January 22-24, 1997, University of Westminster, London, UK, pp. 493-500, 1997, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
24 | Oliver Botti, Lorenzo Capra |
A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 42(6-7), pp. 503-530, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Oliver Botti, Lorenzo Capra |
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering for Parallel and Distributed Systems ![In: Software Engineering for Parallel and Distributed Systems, Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996, pp. 232-243, 1996, Chapman & Hall, 0-412-75740-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|