Keyword: performance analysis

• Chin, K. S.; Mok, C. K.; Zu, Xu:
  Modeling and performance simulation of mould-design process. 2006.

• Kochanícková, Monika:
  Using method of CTMC factorization for GSPN models solving. 2004.

• Zuberek, Wlodek M.:
  Modeling and Analysis of Dual Block Multithreading. 2004.

• Freiheit, Jörn; Billington, Jonathan:
  Using TimeNET to Evaluate Operational Planning Processes. 2004.

• Zuberek, Wlodek M.:
  Enhanced Interleaved Multithreaded Multiprocessors and Their Performance Analysis. 2004.

• Lee, Kichang; Jeong, Hanil; Park, Chankwon; Park, Jinwoo:
  Construction and performance analysis of a Petri net model based on a functional model in a CIM system. 2004.

• Hassapis, George; Ananidou, Dimitra:
  Modeling and verification of a class of real-time systems by the use of High Level Petri Nets. 2003.

• Shan, Zhiguang; Lin, Chuang; Marinescu, Dan C.; Yang, Yang:
  Modeling and performance analysis of QoS-aware load balancing of web-server clusters. 2002.

• Lin, Chuang; Qu, Yang; Ren, Fengyuan; Marinescu, Dan C.:
  Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models. 2002.

• Le Ny, Louis-Marie; Tuffin, Bruno:
  Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets. 2002.

• Salimifard, K.; Wright, M.:
  Modelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets. 2002.

• Gribaudo, M.; Sereno, M.; Horvath, A.; Bobbio, A.:
  Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. 2001.

• Ajmone Marsan, M.; Neri, F.; Scarpati Cioffari, C.; Vasco, A.:
  GSPN models of bridged LAN configurations. 2000.

• Cheng, F.-T.; Yang, H.-C.; Kuo, T.-L.; Feng, C.; Jeng, M.-D.:
  Modeling and analysis of equipment managers in manufacturing execution system for semiconductor packaging. 2000.

• Ciardo, G.; Miner, A.S.:
  Structural approaches for SPN analysis. 2000.

• Demongodin, I.; Mostefaoui, M.; Sauer, N.:
  Steady-state of continuous neutral weighted marked graphs. 2000.

• Huszerl, G.; Majzik, I.:
  Quantitative analysis of dependability of critical systems based on UML and statechart method. 2000.

• Jeng, M.-D.; Xie, X.; Hung, W.Y.:
  Markovian timed nets for performance analysis of semiconductor manufacturing systems. 2000.

• Lin, C.L.; Sheng, L.; Wu, J.; Xu, M.:
  An integrative scheme of differentiated services: modeling and performance analysis. 2000.

• Raghavan, N.R.S.:
  Performance analysis and design of supply chains: a Petri net approach. 2000.

• Ramani, S.; Trivedi, K.S.; Dasarathy, B.:
  Performance analysis of the CORBA event service using stochastic reward nets. 2000.

• Rana, O.; Shields, M.; Jones, A.C.:
  Analyzing Java execution semantics using stochastic Petri nets. 2000.

• Rana, Omer F.; Shields, Matthew S.:
  Performance analysis of Java using Petri nets. 2000.

• Yao, S.; Billington, J.; Mingtian, Z.:
  CPN modeling of the WebMUX protocol. 2000.

• Zhou, Y.; Murata, T.; DeFanti, T.A.:
  Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments. 2000.

• Zuberek, W.M.:
  Analysis of pipeline stall effects in block multithreaded multiprocessors. 2000.

• Capra, L.; Dutheillet, C.; Franceschinis, G.; Ilie, J.M.:
  Towards performance analysis with partially symmetrical SWN. 1999.

• German, R.; Heindl, A.:
  Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets. 1999.

• Koriem, S.M.:
  R-nets for the performance evaluation of hard real-time systems. 1999.

• Sun, H.; Zang, X.; Trivedi, K.S.:
  A stochastic reward net model for performance analysis of prioritized DQDB MAN. 1999.

• Wang, J.; Jin, C.; Deng, Y.:
  Performance analysis of traffic networks based on stochastic timed Petri net models. 1999.

• Xie, Aiguo; Beerel, Peter A.:
  Performance analysis of asynchronous circuits and systems using stochastic timed Petri nets. 1999.

• Boucherie, R.J.; Sereno, M.:
  On closed support T-invariants and the traffic equations. 1998.

• Dasdan, A.; Gupta, R.K.:
  Faster maximum and minimum mean cycle algorithms for system performance analysis. 1998.

• Di Febbraro, A.; Sacone, S.:
  Hybrid Petri nets for the performance analysis of transportation systems. 1998.

• Franceschinis, G.; Fumagalli, A.; Grasso, R.:
  Performance analysis of a WDM bus network based on GSPN models. 1998.

• Fricks, R.M.; Puliafito, A.; Trivedi, K.S.:
  Perfromance analysis of distributed real-time databases. 1998.

• Gaeta, R.; Begain, K.; Ajmone Marsan, M.:
  Stop and Go ABR in ATM LANs: performance analysis with GSPNs. 1998.

• Giloi, W.K.; Lindemann, C.; Pletner, S.:
  Modeling node architecture. 1998.

• Kant, L.; Sanders, W.H.:
  Performance analysis of the knockout switch under bursty traffic based on a stochastic activity network model. 1998.

• Srinivasan, R.S.:
  Modeling and performance analysis of cluster tools using Petri nets. 1998.

• Witlox, B.R.T.M.; van der Wolf, P.; Aarts, E.H.L.; van der Aalst, W.M.P.:
  Performance Analysis of Dataflow Architectures Using Timed Coloured Petri Nets. 1998.

• Zimmermann, Armin; Kühnel, Andreas; Hommel, Günter:
  A Modelling and Analysis Method for Manufacturing Systems Based on Petri Nets. 1998.

• Penttinen, O.-M.; Pyssysalo, T.; Ojala, L.:
  Performance analysis of adaptive video on demand using stochastic Petri nets. 1997.

• Bause, F.; Kabutz, H.; Kemper, P.; Krintzinger, P.:
  SDL and Petri net performance analysis of communicating system. 1996.

• Botti, O.; Donatelli, S.; Franceschinis, G.:
  Assessing the performance of multiprocessor architectures through SWN model simulation: a case study in the field of plant automation systems. 1996.

• Zimmermann, Armin; Dalkowski, Knut; Hommel, Günter:
  A Case Study In Modeling And Performance Evaluation Of Manufacturing Systems Using Colored Petri Nets. 1996.

• Boissel, O.R.; Kantor, J.C.:
  Optimal feedback-control design for discrete-event systems using simulated annealing. 1995.

• Hu, G.H.; Wong, Y.S.; Loh, H.T.:
  An FMS scheduling and control decision-support system based on generalized stochastic Petri nets. 1995.

• Zhou, MengChu; Wang, C.H.; Zhao, X.Y.:
  Automating Mason's rule and its application to analysis of stochastic Petri nets. 1995.

• Zuberek, W.M.:
  Application of timed Petri nets to modeling the schedules of manufacturing cells. 1995.

• Ajmone Marsan, M.; Bianco, A.; Ciminiera, L.; Sisto, R.; Valenzano, A.:
  A LOTOS extension for the performance analysis of distributed systems. 1994.

• Viswanadham, N.; Ram, R.:
  Composite performance-dependability analysis of cellular manufacturing systems. 1994.

• Wang, F.Y.; Gildea, K.; Jungnitz, H.; Chen, D.D.:
  Protocol design and performance analysis for manufacturing message specification - a Petri net approach. 1994.

• Zuberek, W.M.; Kubiak, W.:
  Modeling simple schedules of manufacturing cells using timed Petri nets. 1994.

• Chen, Ing-Ray; Betapudi, Rajakumar:
  A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection. 1994.

• Feldbrugge, Frits:
  Petri Net Tools Overview 1992. 1992.

• Juanole, G.:
  Models for Qualitative and/or Quantitative Analysis of Real Time Communication Architectures. 1991.

• Zhang, Lan; Li, Ren Hou:
  A GSPN-Based Petri Net Analyzer. 1991.

• Zhou, MengChu; DiCesare, Frank:
  Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources. 1991.

• Chaouiya, C.; Tazza, M.:
  Ateliers flexibles de manufacture: Project et analyse. 1990.

• Henderson, W.:
  Aggregation Methods on Exact Performance Analysis of Stochastic Petri Nets. 1990.

• Robinson, J.; Desrochers, A.A.:
  Performance Analysis of a Robotic Testbed Control Architecture. 1990.

• Szczerbicka, H.:
  Modellbildung von Rechnersystemen. 1990.

• Viswanadham, N.; Johnson, T.L.; Narahari, Y.:
  Performance Analysis of Automated Manufacturing Systems with Blocking and Deadlock. 1990.

• Wiley, R.P.; Tenney, R.R.:
  Performance Analysis of Stochastic Timed Petri Nets. 1990.

• Zhou, MengChu; DiCesare, Frank; Guo, Dianlong:
  Modeling and Performance Analysis of a Resource-Sharing Manufacturing System Using Stochastic Petri Nets. 1990.

• Henderson, B.:
  Performance Analysis: When do We Give Up on Product Form Solutions. 1990.

• El-Karaksy, M. Reda; Nouh, Adnan S.; Al-Obaidan, Abdul Rahman:
  Performance Analysis of Timed Petri Net Models for Communication Protocols: a Methodology and a Package. 1990.

• Ajmone Marsan, M.; Chiola, G.; Conte, G.:
  Stochastic Petri Nets as a Tool for the Analysis of High-Performance Distributed Architectures. 1989.

• Botti, Oliver:
  Un modello in reti di Petri per occam-2. 1989/90.

• Danhof, Kenneth J.; Zargham, Mehdi R.:
  A Petri Net Model of Parallel Processing: Performance Analysis and Program Verification. 1989.

• Florin, Gérard; Kaiser, Claude; Natkin, Stéphane:
  Petri Net Models of a Distributed Election Protocol on Unidirectional Ring. 1989.

• Islam, S.M.R.; Ammar, H.H.:
  Performance Analysis of Degradable Multiprocessor Systems. 1989.

• Fischer, Joachim; Leipner, Peter:
  Verhaltensanalyse von Rechnersystemen mit Methoden der diskreten Ereignissimulation und der Petrinetztheorie. 1987.

• Ajmone Marsan, M.; Chiola, G.; Fumagalli, A.:
  Timed Petri Net Model for Accurate Performance Analysis of CSMA/CD Bus LASs. 1987.

• Shibata, Hajime; Muro, Shojiro; Hasegawa, Toshiharu:
  Modeling and Performance Analysis of Tree Collision Resolution Algorithm via Extended Stochastic Petri Nets. 1986.

Back to the Petri Nets Bibliography