For the most recent entries see the
Petri Nets Newsletter.
Keyword: performance evaluation
-
Petriu, Dorin B.;
Woodside, Murray:
An intermediate metamodel with scenarios and resources for generating performance models from UML designs.
2006.
-
Shi, Lei;
Han, Ying-Jie;
Ding, Xiao-Guang;
Wei, Lin;
Gu, Zhi-Min:
An SPN-Based Integrated Model for Web Prefetching and Caching.
2006.
-
Bucci, G.;
Piovosi, R.;
Sassoli, L.;
Vicario, E.:
Introducing probability within state class analysis of dense-time-dependent systems.
2005.
-
Maciá, Hermenegilda;
Valero, Valentín;
Cazorla, Diego;
Cuartero, Fernando:
Introducing the Iteration in sPBC.
2004.
-
Gaeta, R.;
Gribaudo, M.;
Manini, D.;
Sereno, M.:
On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.
2003.
-
Macià, Hermenegilda;
Valero, Valentín;
Cuartero, Fernando;
Pelayo, Fernando L.:
A New Synchronization in Finite Stochastic Petri Box Calculus.
2003.
-
Kuo, C.-H.:
Modelling and Performance Evaluation of an Overhead Hoist Transport System in a 300 mm Fabrication Plant.
2002.
-
Gregorio, J. A.;
Beivide, R.;
Vallejo, F.:
Modeling of interconnection subsystems for massively parallel computers.
2002.
-
Gregorio, J. A.;
Beivide, R.;
Vallejo., F:
Modeling of interconnection subsystems for massively parallel computers.
2002.
-
Chen, Haoxun;
Amodeo, Lionel;
Chu, Feng:
Modeling and Performance Evaluation of Supply Chain with Batch Deterministic and Stochastic Petri Nets.
2001.
-
Balduzzi, F.;
Guia, A.;
Menga, G.:
First-order hybrid Petri nets: a model for optimization and control.
2000.
-
Dehnert, J.;
Freiheit, J.;
Zimmermann, A.:
Workflow modeling and performance evaluation with colored stochastic Petri nets.
2000.
-
Esser, R.;
Janneck, J.W.:
Exploratory performance evaluation using dynamic and parametric Petri nets.
2000.
-
Lopez-Benitez, N.:
Petri net based performance evaluation of distributed heterogeneous task systems.
2000.
-
Meunier, P.;
Denis, B.;
Lesage, J.-J.:
Comparison of different modeling approaches in simulation of programmable logic controllers.
2000.
-
Nandula, M.;
Dutta, S.P.:
Performance evaluation of an auction-based manufacturing system using colored Petri nets.
2000.
-
Becker, M.;
Szczerbicka, H.:
PNiQ: integration of queueing networks in generalized stochastic Petri nets.
1999.
-
Franceschinis, G.;
Fumagalli, A.;
Silinguelli, A.:
Stochastic colored Petri net models for rainbow optical networks.
1999.
-
Haverkort, B.R.:
Performance evaluation of polling-based communication systems using SPNs.
1999.
-
Kamei, M.;
Sagasawa, Y.:
Petri net model and performance evaluation of an autonomous decentralized network system.
1999.
-
Mikolajczak, B.:
Applications of high-level Petri nets in systematic development of complex information systems.
1999.
-
Rongier, P.;
Liegeois, A.:
Analysis and prediction of the behavior of one class of multiple foraging robots with the help of stochastic Petri nets.
1999.
-
Zimmermann, A.;
Hommel, G.:
Modelling and evaluation of manufacturing systems using dedicated Petri nets.
1999.
-
Zuberek, W.M.:
Stepwise refinements of net models and their place invariants.
1999.
-
Zuberek, W.M.;
Kubiak, W.:
Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells.
1999.
-
Ajmone Marsan, M.;
Bobbio, A.;
Donatelli, S.:
Petri Nets in Performance Analysis: An Introduction.
1998.
-
Alpan, G.;
Jafari, M.A.:
Synthesis of sequential controller in the presence of conflicts and free choice.
1998.
-
Barad, M.;
Sinriech, D.:
A Petri net model for the operational design and analysis of segmented flow topology (SFT) AGV systems.
1998.
-
Benazzouz, D.;
Farah, A.:
The use of Petri nets in the performance evaluation of shuffle-exchange network under uniform traffic distribution.
1998.
-
Bobbio, A.;
Telek, M.:
Non-exponential stochastic Petri nets: an overview of methods and techniques.
1998.
-
El Mhamedi, A.;
Vernadat, F.:
The ACNOS approach for performance evaluation of enterprise processes and activities.
1998.
-
Franceschinis, G.;
Ribaudo, M.:
Efficient Performance Analysis Techniques for Stochastic Well-formed Nets and Stochastic Process Algebras.
1998.
-
Jeng, M.D.;
Xie, X.L.;
Chou, S.W.:
Modeling, qualitative-analysis, and performance evaluation of the etching area in an IC wafer fabrication system using Petri nets.
1998.
-
Jonkers, H.;
Janssen, W.;
Verschut, A.;
Wiestra, E.:
A unified framework for design and performance analysis of distributed systems.
1998.
-
Magalhaes, L.P.;
Raposo, A.B.;
Ricarte, I.L.M.:
Animation modeling with Petri Nets.
1998.
-
Proth, J.M.;
Sauer, N.:
Scheduling of piecewise-constant product flows - a Petri net approach.
1998.
-
Zhou, M.C.;
Jeng, M.D.:
Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems - a Petri net approach.
1998.
-
Ziegler, P.;
Szczerbicka, H.:
Performance and performability evaluation of FMS using GSPN.
1998.
-
Zimmermann, Armin;
Freiheit, Jörn:
TimeNETMS - An Integrated Modeling and Performance Evaluation Tool for Manufacturing Systems.
1998.
-
Freiheit, Jörn;
Zimmermann, Armin:
Extending a Response Time Approximation Technique to Colored Stochastic Petri Nets.
1998.
-
Heiner, Monika;
Popova, L.:
Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets.
1997.
-
McSpadden, A.R.;
Lopez-Benitez, N.:
Stochastic Petri nets applied to the performance evaluation of static task allocations in heterogeneous computing environments.
1997.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
A method for predictive performance of distributed programs.
1997.
-
Heiner, Monika;
Deussen, P.;
Spranger, J.:
A Case Study in Developing Control Software of Manufacturing Systems with Hierarchical Petri Nets.
1996.
-
Zimmermann, A.;
Bode, S.;
Hommel, G.:
Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets.
1996.
-
Chao, D.Y.;
Wang, D.T.:
XPN-FMS - a CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X-Windows.
1995.
-
Jin, Q.;
Sugasawa, Y.:
Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets.
1995.
-
Kelling, C.;
Henz, J.;
Hommel, G.:
Design of a communication scheme for a distributed controller architecture using stochastic Petri nets.
1995.
-
Lee, K.D.;
Lee, B.H.;
Ko, M.S.:
A comparison of interconnection methods for multirobot systems.
1995.
-
Nützel, Jürgen;
Fengler, Wolfgang:
Analysis and Verification of High-Level-Nets in Combination with Formal Estelle Specifications.
1995.
-
Proth, J.-M.;
Minis, I.:
Production management in a Petri net environment.
1995.
-
Sanders, W.H.;
Obal, W.D.;
Qureshi, M.A.;
Widjanarko, F.K.:
The UltraSAN modeling environment.
1995.
-
Ghosh, Debashish;
Pruett, James;
Tanniru, Mohan:
Modeling and simulation of information systems for performance evaluation during systems analysis.
1995.
-
Dallery, Y.;
Liu, Z.;
Towsley, D.:
Equivalence, reversibility, symmetry and concavity properties in fork-join queueing networks with blocking.
1994.
-
Heiner, M.;
Ventre, G.;
Wikarski, D.:
A Petri Net Based Methodology to Integrate Qualitative and Quantitative Analysis.
1994.
-
Heiner, Monika;
Wikarski, D.:
An Approach to Petri Net Based Integration of Qualitative and Quantitative Analysis of Parallel Systems.
1994.
-
Jin, Q.;
Sugasawa, Y.:
Modeling and analysis of reliability performance for a distributed dual-processor system.
1994.
-
Wang, H.P.B.;
Hafeez, S.A.:
Performance evaluation of tandem and conventional AGV systems using generalized stochastic Petri nets.
1994.
-
Yamada, T.;
Ohkawa, M.;
Kataoka, S.:
Some optimization problems for timed marked graphs.
1994.
-
Shallof, A.;
Bennett, S.:
Comments on "Performability Analysis of Distributed Real-Time-Systems".
1994.
-
Barkaoui, K.;
Ben Abdallah, I.:
Modeling and performance evaluation of tool sharing management in FMS using stochastic Petri nets.
1993.
-
Botti, O.;
De Cindio, F.:
Process and resource boxes: an integrated PN performance model for applications and architectures.
1993.
-
Chiola, G.;
Dutheillet, C.;
Franceschinis, G.;
Haddad, S.:
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.
1993.
-
Chiola, G.;
Marsan, M. A.;
Balbo, G.;
Conte, G.:
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications.
1993.
-
Campos, Javier;
Silva, Manuela:
Structural Techniques and Performance Bounds of Stochastic Petri Nets Models.
1992.
-
Ajmone Marsan, M.;
Balbo, G.;
Chiola, G.;
Conte, G.;
Donatelli, S.;
Franceschinis, G.:
An Introduction to Generalized Stochastic Petri Nets.
1991.
-
Yoneda, T.;
Kondo, Y.;
Tohma, Y.:
On the Acceleration of Timing Verification Method Based on Time Petri Nets.
1991.
-
Hatono, Itsuo;
Yamagata, Keiichi;
Tamura, Hiroyuki:
Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets.
1991.
-
Chen, Yang-Yueh;
Yang, Ted C.:
Modeling and Performance Evaluation of RISC/B Processor.
1990.
-
Dutheillet, C.;
Haddad, S.:
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture.
1990.
-
Hillion, Hervé P.:
Timed Petri Nets and Application to Multi-Stage Production Systems.
1990.
-
Magott, Jan;
Skudlarski, Kamil:
Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Processes.
1990.
-
Martinez, R.;
Sanders, W.H.;
Alsafadi, Y.;
Nam, J.;
Ozeki, T.;
Komatsu, K.:
Performance Evaluation of a Picture Archiving and Communication System Using Stochastic Activity Networks.
1990.
-
Morioka, S.;
Yamada, T.:
Performance Evaluation of Marked Graphs by Linear Programming.
1990.
-
Ram, R.;
Viswanadham, N.:
Performance Evaluation of Cellular Flexible Manufacturing Systems: a Decomposition Approach.
1990.
-
Robertazzi, T.G.:
Computer Networks and Systems: Queuing Theory and Performance Evaluation.
1990.
-
Someya, Harushi;
Tashiro, Tsutomu;
Murata, Tomohiro;
Komoda, Norihisa:
Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri Nets.
1990.
-
Wilczkowiak, E.:
Performance Evaluation of Local Area Networks for Parallel Computing Using Time Petri Nets.
1990.
-
Wongtaladkown, Chanat;
Chen, Yaobin:
A Real-Time Petri Nets Simulator for Automated Manufacturing Systems.
1990.
-
Yang, Yuch Chen;
Yang, T. C.:
Modeling and Performance Evaluation of RISC/B Processor.
1990.
-
Zuberek, W.M.:
Performance Evaluation Using Unbounded Timed Petri Nets.
1990.
-
Al-Jaar, R.Y.;
Desrochers, A.A.:
Performance Evaluation of Automated Manufacturing Systems Using Generalized Stochastic Petri Nets.
1990.
-
Sagoo, J.S.:
The Specification and Design of Hard Real-Time Systems Using Timed and Temporal Petri Nets.
1990.
-
Ramachandran, U.;
Solomon, Marvin;
Vernon, Mary K.:
Hardware Support for Interprocess Communication.
1990.
-
Wang, C.J.;
Wu, C.H.;
Nelson, V.P.:
A Comparative Architectural Study of Three MIMD Computing Surfaces.
1990.
-
Chou, Ching-Roung;
Mao, Dyi-Liang:
The Performance Evaluation of Design Alternatives for the SUPERMINI Architecture using TPQS.
1989.
-
Chung, W.H.;
Oh, H.R.;
Park, K.H.;
Kim, M.:
Reducing Timed Petri Nets for Response Time Estimation.
1989.
-
Dutheillet, C.;
Haddad, S.:
Regular Stochastic Petri Nets.
1989.
-
Ghodsi, M.:
Performance Modeling of Parallel Computations in Resource-Constrained Systems.
1989.
-
Islam, S.M.R.;
Ammar, H.H.:
Performance Analysis of Degradable Multiprocessor Systems.
1989.
-
Magott, Jan:
Petri Nets in the Performance Evaluation of Computer Systems.
1989.
-
Zurawski, R.:
Modelling Distributed Real-Time Systems for Performance Evaluation Using Timed Petri Nets.
1989.
-
Wang, Fei Yue;
Gildea, Kevin;
Rubenstein, Alan:
A Colored Petri Net Model for Connection Management Services in MMS.
1989.
-
Sivanandan, K.S.;
Garg, K.;
Nanda, N.K.:
On Supercomputer Modelling and Analysis Using an Advanced Petri Net.
1987.
-
Razouk, Rami R.:
The Use of Petri Nets for Modeling Pipelined Processors.
1987.
-
Wang, Yao;
Wu, Chunyuan;
Yao, Wansheng:
The Performance Evaluation of Concurrent Control Algorithm of DDBS by Using Petri Nets.
1987.
-
Razouk, Rami R.:
A Guided Tour of P-NUT (Release 2.2).
1987.
-
Razouk, Rami R.:
A Guided Tour of P-NUT (Release 2.1).
1986.
-
Ozsu, M.T.:
Modeling and Analysis of Distributed Database Concurrency Control Algorithms Using an Extended Petri Net Formalism.
1984.
-
Ajmone Marsan, M.;
Balbo, G.;
Conte, G.:
A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems.
1983.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography