Search results for "Generalized Stochastic Petri nets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Gianfranco Balbo, Steven C. Bruell, Matteo Sereno	Product Form Solution for Generalized Stochastic Petri Nets.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Generalized stochastic Petri nets, product form solution
3	Mercedes Granda, José M. Drake, José A. Gregorio	Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unbounded generalized stochastic Petri nets, unbounded places, natural symmetries, finite graph, lumped states, unbounded places, open parallel systems, k-bounded, performance evaluation, parallel programming, Petri nets, performance measures, parallel machines, stochastic processes, parallel systems, state space, steady-state solution
2	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
2	Vittorio Cortellessa, Catia Trubiani	Towards a library of composable models to estimate the performance of security solutions.	WOSP	2008	DBLP DOI BibTeX RDF	tradeoff between performance and security, software security, model composition, generalized stochastic petri nets, software performance modeling
2	Nawel Gharbi	On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies.	ATVA	2008	DBLP DOI BibTeX RDF	Multiserver retrial systems, Finite-source, Vacation policies, Modeling and Performance measures, Generalized Stochastic Petri nets
2	Gunhee Kim, Woojin Chung	Navigation Behavior Selection Using Generalized Stochastic Petri Nets for a Service Robot.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2007	DBLP DOI BibTeX RDF
2	Gianfranco Balbo	Introduction to Generalized Stochastic Petri Nets.	SFM	2007	DBLP DOI BibTeX RDF
2	Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston	CSL Model Checking for Generalized Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF
2	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
2	Peter Buchholz, Peter Kemper	On generating a hierarchy for GSPN analysis.	SIGMETRICS Performance Evaluation Review	1998	DBLP DOI BibTeX RDF	Markov chain analysis techniques, hierarchical structure, generalized stochastic Petri nets, Kronecker algebra
2	Serge Haddad, Patrice Moreaux, Giovanni Chiola	Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF
2	Erwin M. Thurner, C. Wincheringer	TOMSPIN - A Tool for Modeling with Stochastic Petri Nets.	EUROCAST	1995	DBLP DOI BibTeX RDF	realiabilty, TOMSPIN, Modelling, performance, Generalized Stochastic Petri Nets
2	Susanna Donatelli	Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
2	Gianfranco Ciardo, Reinhard German, Christoph Lindemann	A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.	IEEE Trans. Software Eng.	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
2	Guenter Klas	Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes.	Application and Theory of Petri Nets	1992	DBLP DOI BibTeX RDF
1	Chang-bae Moon, Woojin Chung	Coordination of Multiple Control Schemes for Mobile Robot Navigation on the Basis of the Generalized Stochastic Petri-Nets.	Advanced Robotics	2012	DBLP BibTeX RDF
1	Gal Lavee, Michael Rudzsky, Ehud Rivlin, Artyom Borzin	Video Event Modeling and Recognition in Generalized Stochastic Petri Nets.	IEEE Trans. Circuits Syst. Video Techn.	2010	DBLP DOI BibTeX RDF
1	Chang-bae Moon, Woojin Chung	Design of navigation behaviors and the selection framework with Generalized Stochastic Petri Nets toward dependable navigation of a mobile robot.	ICRA	2010	DBLP DOI BibTeX RDF
1	Dario Bruneo, Marco Scarpa, Antonio Puliafito	Performance Evaluation of gLite Grids through GSPNs.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	gLite middleware, MPI-based jobs, Grid computing, service level agreement, performance measurements, generalized stochastic petri nets
1	Simonetta Balsamo, Andrea Marin	Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process.	AICCSA	2009	DBLP DOI BibTeX RDF
1	Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis	Tagged Generalized Stochastic Petri Nets.	EPEW	2009	DBLP DOI BibTeX RDF
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	Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto	PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets.	SIGMETRICS Performance Evaluation Review	2009	DBLP DOI BibTeX RDF
1	Henrique Jorge A. Holanda, Giovanni Cordeiro Barroso, Antonio de Barros Serra	SPEWS: A Framework for the Performance Analysis of Web Services Orchestrated with BPEL4WS.	ICIW	2009	DBLP DOI BibTeX RDF
1	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
1	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
1	Kunihiko Hiraishi	Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.	Petri Nets	2008	DBLP DOI BibTeX RDF
1	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
1	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
1	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
1	Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt	Cluster Grid based Response-time analysis module for the PIPE Tool.	QEST	2007	DBLP DOI BibTeX RDF
1	D. C. Ionescu, Anatoli Paul Ulmeanu, A. C. Constantinescu, I. Rotaru	Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic petri nets.	Computers & Mathematics with Applications	2006	DBLP DOI BibTeX RDF
1	Gustavo A. Chaparro-Baquero, Nayda G. Santiago, Wilson Rivera, Fernando Vega-Riveros	Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling.	DASC	2006	DBLP DOI BibTeX RDF
1	Jose M. Martinez, Boudewijn R. Haverkort	MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF	DSPNs, CSL, model checking, Markov process, Markov regenerative process
1	Nikolaos G. Bourbakis	Planning with Stochastic Petri-Nets and Neural Nets.	SETN	2006	DBLP DOI BibTeX RDF
1	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
1	Gunhee Kim, Woojin Chung, Munsang Kim	A Selection Framework of Multiple Navigation Primitives Using Generalized Stochastic Petri Nets.	ICRA	2005	DBLP BibTeX RDF
1	Juan Pablo López-Grao, José Merseguer, Javier Campos	From UML activity diagrams to Stochastic Petri nets: application to software performance engineering.	WOSP	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
1	Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini	Repairable Fault Tree for the Automatic Evaluation of Repair Policies.	DSN	2004	DBLP DOI BibTeX RDF
1	Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu	A Comparison of Structural Formalisms for Modeling Large Markov Models.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
1	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
1	Davide D'Aprile, Susanna Donatelli, Jeremy Sproston	CSL Model Checking for the GreatSPN Tool.	ISCIS	2004	DBLP DOI BibTeX RDF
1	Axel W. Krings, Paul W. Oman	A Simple GSPN for Modeling Common Mode Failures in Critical Infrastructures. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Nawel Gharbi, Malika Ioualalen	Performance Analysis of Retrial Queueing Systems Using Generalized Stochastic Petri Nets.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Simona Bernardi, 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
1	Cláudia Betous-Almeida, Karama Kanoun	Stepwise Construction and Refinement of Dependability Models.	DSN	2002	DBLP DOI BibTeX RDF
1	Peter Buchholz	An Adaptive Decomposition Approach for the Analysis of Stochastic Petri Nets.	DSN	2002	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	Max Walter, Carsten Trinitis, Wolfgang Karl	OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies.	PRDC	2001	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
1	Qinru Qiu, Qing Wu, Massoud Pedram	Dynamic power management of complex systems using generalized stochastic Petri nets.	DAC	2000	DBLP DOI BibTeX RDF
1	William J. Stewart	Numerical Analysis Methods.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
1	Gianfranco Balbo	Introduction to Stochastic Petri Nets.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
1	Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin	Availability of CAUTRA, a Subset of the French Air Traffic Control System.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	Markov chains, model composition, generalized stochastic Petri Nets, Dependability modeling
1	Noé Lopez-Benitez, Ja-Young Hyon	Simulation of Task Graph Systems in Heterogeneous Computing Environments. (PDF / PS)	Heterogeneous Computing Workshop	1999	DBLP DOI BibTeX RDF	simulation, performance evaluation, Petri nets, distributed computing, heterogeneous computing, task graphs
1	Peter Buchholz	Hierarchical Structuring of Superposed GSPNs.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Superposed GSPNs, structured matrix representation, reachability analysis, numerical analysis, equivalence
1	Peter Kemper	Transient Analysis of Superposed GSPNs.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	standard and adaptive randomization, Stochastic Petri net, Kronecker algebra, Markov chain analysis
1	Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis	Modelling with Generalized Stochastic Petri Nets.	SIGMETRICS Performance Evaluation Review	1998	DBLP DOI BibTeX RDF
1	Marco Ajmone Marsan, Rossano Gaeta	Modeling ATMsystems with GSPNs and SWNs.	SIGMETRICS Performance Evaluation Review	1998	DBLP DOI BibTeX RDF	Gauss switch, SWN, knockout switch, ATM, LAN, ABR, GSPN
1	Rossano Gaeta, Marco Ajmone Marsan	SWN Analysis and Simulation of Large Knockout ATM Switches.	ICATPN	1998	DBLP DOI BibTeX RDF
1	Marco Gribaudo, Matteo Sereno	On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking.	ICATPN	1998	DBLP DOI BibTeX RDF
1	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
1	Peter Kemper	Reachability Analysis Based on Structured Representations.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
1	M. Molla-Hosseini, R. M. Kerr, R. B. Randall, R. B. Platfoot	An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.	Application and Theory of Petri Nets	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
1	Stefano Caselli, Gianni Conte, P. Marenzoni	Analysis and solution of generalized stochastic Petri nets: a data parallel CM-5 approach.	HPCN	1995	DBLP BibTeX RDF
1	Stefano Caselli, Gianni Conte, P. Marenzoni	Parallel State Space Exploration for GSPN Models.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF
1	Falko Bause, Peter Kemper	QPN -Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
1	Stefano Caselli, Gianni Conte, F. Bonardi, M. Fontanesi	Experiences on SIMD Massively Parallel GSPN Analysis.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
1	Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo	Software Architecture of the EPOCA Integrated Environment.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
1	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
1	Boudewijn R. Haverkort	Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets.	Perform. Eval.	1993	DBLP DOI BibTeX RDF
1	Anneliese von Mayrhauser, Deepak Dube	Simple and fast approximations for generalized stochastic Petri nets.	Journal of Systems and Software	1993	DBLP DOI BibTeX RDF
1	C. R. M. Sundaram, Y. Narahari	Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
1	Guenter Klas	Net Level Aggregation Using Nonlinear Optimization for the Solution of Hierarchical Generalized Stochastic Petri Nets.	ICDCS	1992	DBLP BibTeX RDF
1	Boudewijn R. Haverkort	Approximate Performability Analysis using Generalized Stochastic Petri Nets.	PNPM	1991	DBLP BibTeX RDF
1	Guenter Klas, Reinhard Matuschka	Subnetwork Time Distributions as a Means for Multilevel Evaluation of Generalized Stochastic Petri Nets.	PNPM	1991	DBLP BibTeX RDF
1	Reinhard Matuschka, Guenter Klas	Hierarchical Evaluation of Generalized Stochastic Petri Nets based on Subnetwork Time Distribution.	MMB	1991	DBLP BibTeX RDF
1	Yao Li, C. Murray Woodside	Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	(Generalized) Stochastic Petri nets, PN reduction and delay equivalent aggregation, Markov chain, marked graph
1	Man Li, Nicolas D. Georganas	Coloured generalized stochastic Petri nets for integrated systems protocol performance modelling.	Computer Communications	1990	DBLP DOI BibTeX RDF
1	Jan Magott, Kamil Skudlarski	Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress.	PNPM	1989	DBLP BibTeX RDF
1	Hany H. Ammar, S. M. Rezaul Islam	On Bounds for Token Probabilities in a Class of Generalized Stochastic Petri Nets.	PNPM	1989	DBLP BibTeX RDF
1	Alex Blakemore	The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri Nets.	PNPM	1989	DBLP BibTeX RDF
1	Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta	Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF
1	Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet	On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets.	PNPM	1987	DBLP BibTeX RDF
1	Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte	Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities.	PNPM	1987	DBLP BibTeX RDF
1	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
1	Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte	Modeling the Software Architecture of a Prototype Parallel Machine.	SIGMETRICS	1987	DBLP DOI BibTeX RDF
1	Hany H. Ammar, R. W. Liu	Analysis of the Generalized Stochastic Petri Nets by State Aggregation.	PNPM	1985	DBLP BibTeX RDF
1	Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta	Modeling Priority Schemes.	SIGMETRICS	1985	DBLP DOI BibTeX RDF	head-of-the-line, preemptive resume, product-form queueing networks, reorientation, time-out, priorities, generalized stochastic Petri nets
1	Marco Ajmone Marsan, Gianni Conte, Gianfranco Balbo	A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems	ACM Trans. Comput. Syst.	1984	DBLP DOI BibTeX RDF