Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method-Reference-Cited by-同舟云学术

Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method

Published:2002 Issue: Volume: Page:314-334
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 2002
language:
Short-container-title:

Author:

Mailund Thomas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48068-4_19

Reference17 articles.

1. Lect Notes Comput Sci;G. Berthelot,1994

2. D. Bertsekas and R. Gallager. Data Networks. Prentice-Hall, Inc., 1992.

3. S. Christensen, K. Jensen, and L.M. Kristensen. Design/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. Online version: http://www.daimi.au.dk/designCPN/ .

4. S. Christensen, K. Jensen, T. Mailund, and L. M. Kristensen. State Space Methods for Timed Coloured Petri Nets. In Proceedings of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin Germany, September 2001.

5. Lect Notes Comput Sci;S. Christensen,1997

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Applications of Coloured Petri Nets for Functional Validation of Protocol Designs;Transactions on Petri Nets and Other Models of Concurrency VII;2013

2. A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future;Applications and Theory of Petri Nets;2010

3. Checking safety properties on-the-fly with the sweep-line method;International Journal on Software Tools for Technology Transfer;2007-03-02

4. State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method;Automated Technology for Verification and Analysis;2005