Subject
Computer Networks and Communications,Hardware and Architecture,Modelling and Simulation,Software
Reference21 articles.
1. Understanding parallel programs behaviour through Petri net models;Balbo;J. Parallel Distrib. Comput.,1992
2. Introduction to the ISO specification language LOTOS;Bolognesi;Comput. Networks ISDN Systems,1987
3. Numerical solution methods based on structured descriptions of Markovian models;Buchholz,1992
4. GreatSPN 1.5 software architecture;Chiola,1992
5. A decomposition approach for stochastic Petri net models;Ciardo,1991
Cited by
77 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dependability Analysis of UPS Architectures for the Italian Railway Signaling System;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
2. TAPAS;ACM SIGMETRICS Performance Evaluation Review;2022-06-02
3. Implicit Reward Structures for Implicit Reliability Models;IEEE Transactions on Reliability;2022
4. Security Analysis for Distributed IoT-Based Industrial Automation;IEEE Transactions on Automation Science and Engineering;2021
5. Reliable industrial IoT-based distributed automation;Proceedings of the International Conference on Internet of Things Design and Implementation;2019-04-15