ACM Computing Surveys (CSUR)
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ACM Transactions on Computer Systems (TOCS)
Exact performance estimates for multiprocessor memory and bus interference
IEEE Transactions on Computers
Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries
IEEE Transactions on Software Engineering
IEEE Transactions on Computers
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
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
Using Flat Concurrent Prolog in System Modeling
IEEE Transactions on Software Engineering
Performance Modeling of System Architectures
Journal of VLSI Signal Processing Systems - Special issue on the rapid prototyping of application specific signal processors (RASSP) program
The use of Petri nets for modeling pipelined processors
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Extended D-timed Petri nets, timeouts, and analysis of communication protocols
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Performance evaluation of concurrent systems using timed petri nets
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The GTPN analyzer: numerical methods and user interface
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
A generic causal model for place latency
Theoretical Computer Science
The derivation of performance expressions for communication protocols from timed petri net models
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Modeling Bus Contention and Memory Interference in a Multiprocessor System
IEEE Transactions on Computers
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Scenario-based timing verification of multiprocessor embedded applications
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Soundness for S- and A-timed workflow nets is undecidable
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
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
Formal testing of systems presenting soft and hard deadlines
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Assessing the expressivity of formal specification languages
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Fuzzy timed Petri nets - analysis and implementation
Mathematical and Computer Modelling: An International Journal
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
Mathematical and Computer Modelling: An International Journal
Fuzzy timed petri net definitions, properties, and applications
Mathematical and Computer Modelling: An International Journal
Interference-driven resource management for GPU-based heterogeneous clusters
Proceedings of the 21st international symposium on High-Performance Parallel and Distributed Computing
Minimal-Maximal Time Cause-Effect Structures
Fundamenta Informaticae
Failure boundedness in discrete applications
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Modeling interval order structures with partially commutative monoids
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
Hi-index | 0.01 |
It is shown that the behavior of a certain class of timed Petri nets can be represented by a finite labeled directed graph in which the labels describe times and probabilities of transitions between vertices of the graph. Further analysis of such a graph can be done by techniques known for Markov chains. The method is applied to evaluation of some performance indices for two simple processor architectures. The timed Petri nets modeling the processors are shown and the resulting performance indices are compared. Some other architectures are discussed shortly.