Author:
Akshay S.,Genest B.,Hélouët L.
Publisher
Springer International Publishing
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Waiting Nets;Application and Theory of Petri Nets and Concurrency;2022
2. Formal foundations for responsible application integration;Information Systems;2021-11
3. Combining free choice and time in Petri nets;Journal of Logical and Algebraic Methods in Programming;2020-01
4. Formalizing Application Integration Patterns;2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC);2018-10
5. Realizability of schedules by stochastic time Petri nets with blocking semantics;Science of Computer Programming;2018-06