Efficient Symbolic State-Space Construction for Asynchronous Systems-Reference-Cited by-同舟云学术

Efficient Symbolic State-Space Construction for Asynchronous Systems

Published:2000 Issue: Volume: Page:103-122
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ciardo Gianfranco,Lüttgen Gerald,Siminiceanu Radu

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/3-540-44988-4_8

Reference25 articles.

1. R.E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. on Computers, 35(8):677–691, 1986.

2. R.E. Bryant. Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):393–418, 1992.

3. P. Buchholz. Hierarchical structuring of superposed GSPNs. In PNPM’ 97, pp. 81–90. IEEE Computer Society Press, 1997.

4. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. I&C, 98(2):142–170, 1992.

5. G. Ciardo, G. Lüttgen, and R. Siminiceanu. Efficient state-space construction for asynchronous systems. Techn. Rep. 99-50, Institute for Computer Applications in Science and Engineering (ICASE), 1999.

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

1. State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets;IEEE/CAA Journal of Automatica Sinica;2024-05

2. Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2022-12

3. Two-layer symbolic representation for stochastic models with phase-type distributed events;International Journal of Systems Science;2013-08-20

4. Report on the Model Checking Contest at Petri Nets 2011;Transactions on Petri Nets and Other Models of Concurrency VI;2012

5. Model Checking Using Generalized Testing Automata;Transactions on Petri Nets and Other Models of Concurrency VI;2012