Author:
Reisig Wolfgang,Rozenberg Grzegorz
Publisher
Springer International Publishing
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Modeling Cyber Physical Systems with Learning Enabled Components using Hybrid Predicate Transition Nets;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12
2. Formal Modeling of Multi-Server Queuing Network Using Stochastic Petri Nets;Proceedings of the 2019 3rd International Conference on Software and e-Business;2019-12-09