Author:
David Alexandre,Jacobsen Lasse,Jacobsen Morten,Srba Jiří
Publisher
Open Publishing Association
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Waiting Nets: State Classes and Taxonomy;Fundamenta Informaticae;2024-01-30
2. Latte;ACM SIGMETRICS Performance Evaluation Review;2021-03-05
3. A Representative Fragment Method of Analyzing Complex Systems of Smart Contracts;Advances in Cyber-Physical Systems;2019-03-23
4. Decidable Classes of Unbounded Petri Nets with Time and Urgency;Application and Theory of Petri Nets and Concurrency;2016
5. TAPAAL and Reachability Analysis of P/T Nets;Transactions on Petri Nets and Other Models of Concurrency XI;2016