Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
Hardware support for interprocess communication
ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
C2MP: a cache-coherent, distributed memory multiprocessor-system
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Petri-net evaluation using APL2
APL '92 Proceedings of the international conference on APL
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
WSC '94 Proceedings of the 26th conference on Winter simulation
Massively parallel SIMD simulation of discrete time stochastic Petri nets
WSC '94 Proceedings of the 26th conference on Winter simulation
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
Performance Modeling of System Architectures
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
Efficient state classification of finite state Markov chains
DAC '98 Proceedings of the 35th annual Design Automation Conference
Parallel simulation of performance Petri nets: extending the domain of parallel simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
The GTPN analyzer: numerical methods and user interface
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Hardware Support for Interprocess Communication
IEEE Transactions on Parallel and Distributed Systems
Shared Memory Multimicroprocessor Operating System with an Extended Petri Net Model
IEEE Transactions on Parallel and Distributed Systems
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Extended Timed Petri Nets for Distributed Multimedia Presentations
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Managing Derived Data in the Gaea Scientific DBMS
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Timed Petri Net Interpreter: An Alternative Method for Simulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Performance Analysis of Asynchronous Circuits Using Markov Chains
Concurrency and Hardware Design, Advances in Petri Nets
Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice
ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Performance analysis of multistage interconnection networks with a new high-level net model
Journal of Systems Architecture: the EUROMICRO Journal
Using forward reachability analysis for verification of timed petri nets
Nordic Journal of Computing
Soundness for S- and A-timed workflow nets is undecidable
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Analytical verification of information system requirements using petri net properties
Information and Software Technology
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Model checking inconsistency recovery costs
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Generation of RFID test datasets using RSN tool
Personal and Ubiquitous Computing
| Hi-index | 0.01 |
We have developed a Generalized Timed Petri Net (GTPN) model for evaluating the performance of computer systems. Our model is a generalization of the TPN model proposed by Zuberek [1] and extended by Razouk and Phelps [2]. In this paper, we define the GTPN model and present how performance estimates are obtained from the GTPN. We demonstrate the use of our automated GTPN analysis techniques on the dining philosophers example. This example violates restrictions made in the earlier TPN models. Finally, we compare the GTPN to the stochastic Petri net (SPN) models. We show that the GTPN model has capabilities for modeling and analyzing parallel systems lacking in existing SPN models. The GTPN provides an efficient, easily used method of obtaining accurate performance estimates for models of computer systems which include both deterministic and geometric holding times.