A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Tools for specifying real-time systems
Real-Time Systems - Special issue: history of real-time systems
A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems
Real-Time Systems - Special issue on safety-critical systems
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Measuring the Performance of Real-Time Systems
Real-Time Systems - Selected papers from IFAC/IFIP workshops on real-time programming
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Building distributed scalable dependable real-time systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
IEEE Transactions on Software Engineering
Dependability metrics
| Hi-index | 0.00 |