Publisher
American Mathematical
Society
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2024-07
2. Simplification Method of CPN Model Based on Data Abstraction;2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD);2024-05-08
3. A Pragmatic Approach to Stateful Partial Order Reduction;Lecture Notes in Computer Science;2023
4. Stubborn Sets, Frozen Actions, and Fair Testing;Fundamenta Informaticae;2021-01-13
5. Fair testing and stubborn sets;International Journal on Software Tools for Technology Transfer;2017-12-11