ACM Transactions on Computer Systems (TOCS)
Modeling of Software Partition for Distributed Real-Time Applications
IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Modeling of Hierarchical Distributed Systems with Fault-Tolerance
IEEE Transactions on Software Engineering
The CAEDE performance analysis tool
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Performability Analysis of Distributed Real-Time Systems
IEEE Transactions on Computers
TimeBench: a CAD tool for real-time system design
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
IEEE Transactions on Software Engineering
Execution Time Analysis of Communicating Tasks in Distributed Systems
IEEE Transactions on Computers
IEEE Transactions on Computers
Comments on "Performability Analysis of Distributed Real-Time-Systems"
IEEE Transactions on Computers
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 Three-View Model for Performance Engineering of Concurrent Software
IEEE Transactions on Software Engineering
Software Performance Evaluation by Models
Performance Evaluation: Origins and Directions
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
Hi-index | 14.99 |
In a distributed system that implements real-time control, computational tasks are distributed over different nodes for execution to improve response time and system reliability. To model system behavior, tasks in each node are first decomposed into activities. The activities and precedence constraints among them are then modeled by a generalized stochastic Petri net (GSPN). Finally, a sequence of homogeneous continuous-time Markov chains (CTMC's) is built from the GSPN to model the concurrent task execution in the system.