Search results for "GSPN"

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	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