Author:
Thierry-Mieg Yann,Ilié Jean-Michel,Poitrenaud Denis
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Report on the Model Checking Contest at Petri Nets 2011;Transactions on Petri Nets and Other Models of Concurrency VI;2012
2. Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach;Large-Scale Complex IT Systems. Development, Operation and Management;2012
3. Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag;Applications and Theory of Petri Nets;2011
4. The GreatSPN tool;ACM SIGMETRICS Performance Evaluation Review;2009-03-25
5. Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets;Applications and Theory of Petri Nets 2005;2005