Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Agerwala, T.: A complete model for representing the coordination of asynchronous processes. Hopkins Computer Research Report 32, Johns Hopkins University, Baltimore, Maryland (July 1974)
2. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, New York (1995)
3. Araki, T., Kasami, T.: Some decision problems related to the reachability problem for Petri nets. Theoretical Computer Science 3, 85–104 (1977)
4. Bryant, R.E.: Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comp. Surv. 24(3), 293–318 (1992)
5. Buchholz, P., Ciardo, G., Donatelli, S., Kemper, P.: Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models. INFORMS J. Comp. 12(3), 203–222 (2000)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Related Concepts in Reliability Modeling of Warm Standby Systems;Reliability Modelling and Optimization of Warm Standby Systems;2021
2. Fundamental Reliability Theory;Dynamic System Reliability;2019-01-11
3. Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets;Quantitative Evaluation of Systems;2016
4. Building business cases for risk and reliability technologies;Safety and Reliability of Complex Engineered Systems;2015-09-03
5. References;Binary Decision Diagrams and Extensions for System Reliability Analysis;2015-06-26