A CAD tool for stochastic Petri nets
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Modeling of, and reasoning with recurrent events with imprecise durations
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
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
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
On assembly sequence planning using Petri nets
ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
A Pipelined Pseudoparallel System Architecture for Real-Time Dynamic Scene Analysis
IEEE Transactions on Computers
Latency Estimation of the Asynchronous Pipeline Using the Max-Plus Algebra
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
WSEAS Transactions on Information Science and Applications
Transactions on Petri Nets and Other Models of Concurrency I
Design of software for distributed/multiprocessor systems
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
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
Using forward reachability analysis for verification of timed petri nets
Nordic Journal of Computing
Note: A connection between circular colorings and periodic schedules
Discrete Applied Mathematics
Soundness for S- and A-timed workflow nets is undecidable
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
The Role of Back-Pressure in Implementing Latency-Insensitive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Performance evaluation of discret event systems using P-time event graphs
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Optimal number of pallets for reconfigurable cyclic manufacturing plants
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
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
Coordinating multi-task environments through the methodology of relations graph
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
Modelling and performance analysis of component-based systems
International Journal of Critical Computer-Based Systems
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
Discrete Event Dynamic Systems
Accurate performance estimation for stochastic marked graphs by bottleneck regrowing
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
GA optimization of Petri net-modeled concurrent service systems
Applied Soft Computing
Automatic Battery Replacement System for UAVs: Analysis and Design
Journal of Intelligent and Robotic Systems
Adaptive task duplication using on-line bottleneck detection for streaming applications
Proceedings of the 9th conference on Computing Frontiers
A mathematical model for cyclic scheduling with limited work-in-process and cycle time minimization
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Formal tasks and systems models as a tool for specifying and assessing automation designs
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Mathematical and Computer Modelling: An International Journal
A brief survey and synthesis of the roles of time in petri nets
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
A Scheduling Strategy for Synchronous Elastic Designs
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
ODP RM reflections on open service ecosystems
Computer Standards & Interfaces
Compositional system-level design exploration with planning of high-level synthesis
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
The right timing: reflections on the modeling and analysis of time
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
| Hi-index | 0.01 |
Some analysis techniques for real-time asynchronous concurrent systems are presented. In order to model clearly the synchronization involved in these systems, an extended timed Petri net model is used. The system to be studied is first modeled by a Petri net. Based on the Petri net model, a system is classified into either: 1) a consistent system; or 2) an inconsistent system. Most real-world systems fall into the first class which is further subclassified into i) decision-free systems; ii) safe persistent systems; and iii) general systems. Procedures for predicting and verifying the system performance of all three types are presented. It is found that the computational complexity involved increases in the same order as they are listed above.