IEEE Transactions on Computers
A new model for the high level description and simulation of VLSI networks
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Formal Analysis of the Alternating Bit Protocol by Temporal 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
A timed Petri-net model for fine-grain loop scheduling
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Analysis of real-time programs with simple time Petri nets
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Concurrent execution of timed Petri nets
WSC '94 Proceedings of the 26th conference on Winter simulation
IEEE Transactions on Software Engineering
The use of Petri nets for modeling pipelined processors
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Modeling and analysis of a virtual reality system with time Petri nets
Proceedings of the 20th international conference on Software engineering
Performance analysis of a generic naval C2battle group system by use of timed Petri nets
WSC '88 Proceedings of the 20th conference on Winter simulation
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
Synthesis of a Class of Deadlock-Free Petri Nets
Journal of the ACM (JACM)
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth 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
M-timed Petri nets and Markov chains in modelling of computer systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
An approach towards distributed simulation of timed petri nets
WSC' 90 Proceedings of the 22nd conference on Winter simulation
ACM Computing Surveys (CSUR)
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Verification of non-functional properties of a composable architecture with Petri nets
Fundamenta Informaticae
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
A generic causal model for place latency
Theoretical Computer Science
Avoiding Misconstruals in Database Systems: A Default Logic Approach
IEEE Transactions on Knowledge and Data Engineering
A Petri Net Model for Session Services
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Safety Verification of Software Using Structured Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Extending the Petri Box Calculus with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Performance evaluation of asynchronous logic pipelines with data dependent processing delays
ASYNC '95 Proceedings of the 2nd Working Conference on Asynchronous Design Methodologies
Petri Net based search directing heuristics for test generation
DAC '83 Proceedings of the 20th Design Automation Conference
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
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
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Using state equation to prove non-reachability in timed Petrinets
Fundamenta Informaticae - Concurrency specification and programming
Information and Computation
A Petri-net-based approach to real-time program analysis
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A timed Petri-net model for fine-grain loop scheduling
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
A method to prove non-reachability in priority duration Petri nets
Fundamenta Informaticae
Performance analysis of multistage interconnection networks with a new high-level net model
Journal of Systems Architecture: the EUROMICRO Journal
Model Checking of Time Petri Nets Using the State Class Timed Automaton
Discrete Event Dynamic Systems
State space computation and analysis of Time Petri Nets
Theory and Practice of Logic Programming
Fundamenta Informaticae - Special issue on theory and applications of soft computing (TASC04)
Analysis and Simulation of Buffered Delta Networks
IEEE Transactions on Computers
A general model for performance optimization of sequential systems
Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design
Synthesis of timing scenarios for embedded systems using modular Petri nets
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
SAT-Based Reachability Checking for Timed Automata with Discrete Data
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Team-RPD: A Collaborative Model of the Recognition-Primed Decision Process
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
MEDOC: a methodology for designing and evaluating large-scale real-time systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Performance optimization of elastic systems using buffer resizing and buffer insertion
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Note: A connection between circular colorings and periodic schedules
Discrete Applied Mathematics
On time-stressed team collaboration
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Performance Analysis of IEEE 802.11b Wireless Networks with Object Oriented Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Petri Nets with Time Windows: A Comparison to Classical Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Performance Simulation And Design Of Petri Net Systems
Journal of Integrated Design & Process Science
Soundness for S- and A-timed workflow nets is undecidable
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling infrastructure interdependency among floodplain infrastructures with extended Petri-Net
ASM '07 The 16th IASTED International Conference on Applied Simulation and Modelling
An evaluation of timed scenario notations
Journal of Systems and Software
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressiveness of Petri Nets with Stopwatches. Dense-time Part
Fundamenta Informaticae
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
Fundamenta Informaticae
Hierarchical timed high level nets and their branching processes
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Comparison of the expressiveness of arc, place and transition time Petri nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
Discrete Event Dynamic Systems
Estimating functional unit number in the PISH codesign system by using Petri nets
SBCCI'99 Proceedings of the XIIth conference on Integrated circuits and systems design
Modeling and analysis of scheduling for distributed real-time embedded systems
International Journal of Automation and Computing
Delay stochastic simulation of biological systems: a purely delayed approach
Transactions on computational systems biology XIII
Compositional specification of real time embedded systems by priority time Petri Nets
The Journal of Supercomputing
Managing petri nets in MOF repositories
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Zenoness detection and timed model checking for real time systems
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Validation of protocols with temporal constraints
Computer Communications
Fuzzy timed Petri nets - analysis and implementation
Mathematical and Computer Modelling: An International Journal
Mathematical and Computer Modelling: An International Journal
Conformance testing to real-time communications systems
Computer Communications
Petri Nets with Time Windows: A Comparison to Classical Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Expressiveness of Petri Nets with Stopwatches. Dense-time Part
Fundamenta Informaticae
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
Fundamenta Informaticae
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
SAT-Based Reachability Checking for Timed Automata with Discrete Data
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
A Method to Prove Non-Reachability in Priority Duration Petri Nets
Fundamenta Informaticae
Using State Equation to Prove Non-Reachability in Timed Petrinets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Verification of Non-functional Properties of a Composable Architecture with Petrinets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
Fundamenta Informaticae
Time petri nets for schedulability analysis of the transactional event handlers of P-FRP
Proceedings of the 2012 ACM Research in Applied Computation Symposium
A timed petri net model for frame transmission on IEEE 802.15.4 beacon-enabled mode
Proceedings of the 10th ACM symposium on Performance evaluation of wireless ad hoc, sensor, & ubiquitous networks
On multi-enabledness in time Petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM
Journal of Integrated Design & Process Science
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
Fundamenta Informaticae
Hi-index | 0.01 |
This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor. The work is divided into two parts. In the first part, a suitable model is developed for describing the structure of asynchronous concurrent systems. In conventional automata theory, the finite-state machine model is used to describe the behavior of systems; the problem with this is that a large number of states results when practical systems are modeled. In this thesis, each system component is modeled as a finite-state machine, and a system is viewed as an ensemble of interconnected finite-state machines. This has the advantage that the size of a system model grows linearly rather than exponentially with the number of system components. A subclass of Petri nets known as SMD (State Machine Decomposable) Petri nets is identified in order to formalize the notions of finite-state machines and their inter-connection. For convenience, systems of interest are divided into two broad categories: (a) deterministic, or decision free, (b) non-deterministic, or systems with decisions. SMD Petri nets are used to model both classes of systems; in addition, a subclass of Petri nets known as LSP Petri nets is used to model those deterministic systems that cannot be modeled by SMD Petri nets. The second part of the thesis is concerned with finding the computation rate of activities in real-world asynchronous concurrent systems. Practical systems are constructed from devices which have a finite speed of operation. Since Petri nets do not have time parameters as part of their definition, they can model the structure of systems but cannot be used to study their computation rate. The definition of Petri nets is augmented to model the speed of operation of a device in a system by assuming that the corresponding activity in the Petri net has a finite, non-zero time duration. The resulting nets are termed timed Petri nets, and methods are given for finding the computation rate of activities in times SMD and LSP Petri nets. The results are applied to the analysis of several asynchronous systems drawn from areas within and outside the domain of computer systems.