|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 126 occurrences of 82 keywords
|
|
|
Results
Found 135 publication records. Showing 135 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Peter Ziegler, Helena Szczerbicka |
A structure based decomposition approach for GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 261-270, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | D. Abbati, Stefano Caselli, Gianni Conte, Francesco Zanichelli |
Synthesis of GSPN models for workload mapping on concurrent architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993, pp. 204-215, 1993, IEEE Computer Society, 0-8186-4250-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Belhassen Mazigh, Julien Gresser, François Simon |
GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993, pp. 290-299, 1993, IEEE Computer Society, 0-8186-4250-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Stefano Caselli, Gianni Conte, Ugo Malavolta |
Topology and Process Interaction in Concurrent Architectures: A GSPN Modeling Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 15(3), pp. 270-281, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Carla Simone, Marco Ajmone Marsan |
The Application of EB-Equivalence Rules to the Structural Reduciton of GSPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 15(3), pp. 296-302, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi |
On the Solution of GSPN Reward Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 12(4), pp. 237-253, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Stefano Caselli, Gianni Conte |
GSPN Models of Concurrent Architectures with Mesh Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, PNPM 1991, Melbourne, Victoria, Australia, December 2-5, 1991, pp. 280-289, 1991, IEEE Computer Society, 0-8186-2285-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Fei-Yue Wang 0001, Hauke Jungnitz, Kevin J. Gildea |
Performance analysis of MMS using GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1991 IEEE International Conference on Robotics and Automation, Sacramento, CA, USA, 9-11 April 1991, pp. 1573-1578, 1991, IEEE Computer Society, 0-8186-2163-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Susanna Donatelli, U. Rubino, Fabio Neri |
GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Conference on Communications Architecture & Protocols, SIGCOMM 1991, Zürich, Switzerland, September 3-6, 1991, pp. 69-80, 1991, ACM, 0-89791-444-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Jiang Hsieh, Donald R. Ucci |
Design and modeling of CT systems with GSPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Fourth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'91), 12-14 May, 1991, Baltimore, MD, USA, pp. 366-373, 1991, IEEE Computer Society, 0-8186-2164-8. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri |
GSPN Models of Markovian Multiserver Multiqueue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 11(4), pp. 227-240, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri |
GSPN Models of Multiserver Multiqueue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM 1989, Kyoto, Japan, December 11-13, 1989, pp. 19-28, 1989, IEEE Computer Society, 0-8186-2001-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Giovanni Chiola, Giuliana Franceschinis |
Colored GSPN Models and Automatic Symmetry Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM 1989, Kyoto, Japan, December 11-13, 1989, pp. 50-60, 1989, IEEE Computer Society, 0-8186-2001-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Henrique Jorge A. Holanda, Giovanni Cordeiro Barroso, Antônio de Barros Serra |
SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIW ![In: Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, 24-28 May 2009, Venice/Mestre, Italy, pp. 363-369, 2009, IEEE Computer Society, 978-0-7695-3613-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Kunihiko Hiraishi |
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings, pp. 231-250, 2008, Springer, 978-3-540-68745-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Sergio Mario Lins Galdino, Paulo Romero Martins Maciel, Nelson Souto Rosa |
Interval generalized stochastic petri net models in dependability evaluation. ![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. 2502-2507, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston |
CSL Model Checking for Generalized Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pp. 199-210, 2006, IEEE Computer Society, 0-7695-2665-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gustavo A. Chaparro-Baquero, Nayda G. Santiago, Wilson Rivera, J. Fernando Vega-Riveros |
Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASC ![In: Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September - 1 October 2006, Indianapolis, Indiana, USA, pp. 119-128, 2006, IEEE Computer Society, 0-7695-2539-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Ye Hong, Chuang Lin 0002, Yang Qu, Zhiguang Shan |
Performance Modeling of Grid Resource Management and Scheduling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SKG ![In: 2005 International Conference on Semantics, Knowledge and Grid (SKG 2005), 27-29 November 2005, Beijing, China, pp. 92, 2005, IEEE Computer Society, 0-7695-2534-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini |
Repairable Fault Tree for the Automatic Evaluation of Repair Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 659-668, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Chao Wang 0085, Jianfeng Ma 0001 |
Availability Analysis and Comparison of Different Intrusion-Tolerant Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AWCC ![In: Content Computing, Advanced Workshop on Content Computing, AWCC 2004, ZhenJiang, JiangSu, China, November 15-17, 2004, Proceedings, pp. 161-166, 2004, Springer, 3-540-23898-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Juan-Pablo López-Grao, José Merseguer, Javier Campos |
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004, pp. 25-36, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
UML Profile for schedulability performance and time specification, UML, CASE tool, compositionality, software performance, activity diagrams, Generalized Stochastic Petri nets |
16 | Gianfranco Balbo, Steven C. Bruell, Matteo Sereno |
Product Form Solution for Generalized Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(10), pp. 915-932, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Generalized stochastic Petri nets, product form solution |
16 | Simona Bernardi 0001, Susanna Donatelli, András Horváth |
Implementing compositionality for stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(4), pp. 417-430, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Stochastic well-formed nets, Fault tolerance, Performance analysis, Modularity, Compositionality |
16 | Cristian Constantinescu |
Dependability Analysis of a Fault-Tolerant Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea, pp. 63-67, 2001, IEEE Computer Society, 0-7695-1414-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Young-Ho Suh, Han Namgoong, Jeong-Joon Yoo, Dong-Ik Lee |
Design of a Mobile Agent-Based Workflow Management System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATA ![In: Mobile Agents for Telecommunication Applications, Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001, Proceedings, pp. 93-102, 2001, Springer, 3-540-42460-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | William J. Stewart 0001 |
Numerical Analysis Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Performance Evaluation ![In: Performance Evaluation: Origins and Directions, pp. 355-376, 2000, Springer, 3-540-67193-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Jan Peleska 0001, Bettina Buth |
Formal Methods for the International Space Station ISS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct System Design ![In: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pp. 363-389, 1999, Springer, 3-540-66624-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation |
16 | Mourad Rabah, Karama Kanoun |
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings, pp. 42-62, 1999, Springer, 3-540-66483-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Rossano Gaeta, Marco Ajmone Marsan |
SWN Analysis and Simulation of Large Knockout ATM Switches. ![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. 326-344, 1998, Springer, 3-540-64677-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Osamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto |
Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 6th Asian Test Symposium (ATS '97), 17-18 November 1997, Akita, Japan, pp. 269-, 1997, IEEE Computer Society, 0-8186-8209-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software test and debug, software development, software fault, Petri-net model |
16 | M. Molla-Hosseini, Roger M. Kerr, Robert B. Randall, R. B. Platfoot |
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets. ![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. 335-356, 1995, Springer, 3-540-60029-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Notation n state of device, n 0: state following a Poisson failure, n 1: operating state, n 2: minimal maintenance state, k number of stages of deterioration before deterioration failure, s at maintenance event s after s-1 minimalmaintenance the maintenance must be a major maintenance, P(i,j,n) steady-state probability that the device is in state (i,j,n), i=deterioration-stage index, j=minimal maintenance number, Pd steady-state probability that the device is being overhauled after a deteriorating failure, P0 steady-state probability that the device is out of service due to major maintenance, minimal maintenance, minimal repair respectively, 1/ d mean time between as good as new and deterioration failure if no maintenance is initiated, 1/ 0 mean time to Poisson failure, 1/ m mean time to the next maintenance event, 1/ d mean duration of overhauling the device following a deterioration failure, 1/ m mean duration of minimal maintenance, 1/ M mean duration of major maintenance, 1/ 0 mean duration of repair after Poisson failure, U steady-state unavailability of the device, PM, Pm |
16 | Gianfranco Ciardo, Reinhard German, Christoph Lindemann |
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(7), pp. 506-515, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
distributed firing times, SPN classes, modeling power, deterministic Petri nets, semiMarkovian stochastic Petri nets, generalized timed Petri nets, state discretization, continuous-time case, PH-type distributions, simulation, Petri nets, Markov processes, stochastic processes, stochastic process, stochastic Petri net, stochastic Petri nets, timed Petri nets, generalized stochastic Petri nets, embedded Markov chain |
16 | Susanna Donatelli |
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. ![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. 258-277, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen |
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(2), pp. 221-240, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem |
Displaying result #101 - #135 of 135 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|