Search results for "GSPN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Peter Ziegler, Helena Szczerbicka	A structure based decomposition approach for GSPN.	PNPM	1995	DBLP DOI BibTeX RDF
24	D. Abbati, Stefano Caselli, Gianni Conte, Francesco Zanichelli	Synthesis of GSPN models for workload mapping on concurrent architectures.	PNPM	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.	PNPM	1993	DBLP DOI BibTeX RDF
24	Stefano Caselli, Gianni Conte, Ugo Malavolta	Topology and Process Interaction in Concurrent Architectures: A GSPN Modeling Approach.	J. Parallel Distributed Comput.	1992	DBLP DOI BibTeX RDF
24	Carla Simone, Marco Ajmone Marsan	The Application of EB-Equivalence Rules to the Structural Reduciton of GSPN Models.	J. Parallel Distributed Comput.	1992	DBLP DOI BibTeX RDF
24	Gianfranco Ciardo, Jogesh K. Muppala, Kishor S. Trivedi	On the Solution of GSPN Reward Models.	Perform. Evaluation	1991	DBLP DOI BibTeX RDF
24	Stefano Caselli, Gianni Conte	GSPN Models of Concurrent Architectures with Mesh Topology.	PNPM	1991	DBLP DOI BibTeX RDF
24	Fei-Yue Wang 0001, Hauke Jungnitz, Kevin J. Gildea	Performance analysis of MMS using GSPN.	ICRA	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.	SIGCOMM	1991	DBLP DOI BibTeX RDF
24	Jiang Hsieh, Donald R. Ucci	Design and modeling of CT systems with GSPN.	CBMS	1991	DBLP DOI BibTeX RDF
24	Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri	GSPN Models of Markovian Multiserver Multiqueue Systems.	Perform. Evaluation	1990	DBLP DOI BibTeX RDF
24	Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri	GSPN Models of Multiserver Multiqueue Systems.	PNPM	1989	DBLP DOI BibTeX RDF
24	Giovanni Chiola, Giuliana Franceschinis	Colored GSPN Models and Automatic Symmetry Detection.	PNPM	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.	ICIW	2009	DBLP DOI BibTeX RDF
16	Kunihiko Hiraishi	Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.	Petri Nets	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.	SMC	2007	DBLP DOI BibTeX RDF
16	Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston	CSL Model Checking for Generalized Stochastic Petri Nets.	QEST	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.	DASC	2006	DBLP DOI BibTeX RDF
16	Ye Hong, Chuang Lin 0002, Yang Qu, Zhiguang Shan	Performance Modeling of Grid Resource Management and Scheduling Systems.	SKG	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.	DSN	2004	DBLP DOI BibTeX RDF
16	Chao Wang 0085, Jianfeng Ma 0001	Availability Analysis and Comparison of Different Intrusion-Tolerant Systems.	AWCC	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.	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
16	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
16	Simona Bernardi 0001, Susanna Donatelli, András Horváth	Implementing compositionality for stochastic Petri nets.	Int. J. Softw. Tools Technol. Transf.	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.	PRDC	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.	MATA	2001	DBLP DOI BibTeX RDF
16	William J. Stewart 0001	Numerical Analysis Methods.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
16	Jan Peleska 0001, Bettina Buth	Formal Methods for the International Space Station ISS.	Correct System Design	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.	EDCC	1999	DBLP DOI BibTeX RDF
16	Rossano Gaeta, Marco Ajmone Marsan	SWN Analysis and Simulation of Large Knockout ATM Switches.	ICATPN	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.	Asian Test Symposium	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.	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
16	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
16	Susanna Donatelli	Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution.	Application and Theory of Petri Nets	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.	IEEE Trans. Parallel Distributed Syst.	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