Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms-Reference-Cited by-同舟云学术

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms

Published:2018 Issue: Volume: Page:73-92
ISSN:0302-9743
Container-title:Transactions on Petri Nets and Other Models of Concurrency XIII
language:
Short-container-title:

Author:

Amparore Elvio Gilberto,Donatelli Susanna,Beccuti Marco,Garbi Giulio,Miner Andrew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-58381-4_4

Reference31 articles.

1. Ajmone Marsan, M., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Syst. 2, 93–122 (1984)

2. Aldinucci, M., Bagnasco, S., Lusso, S., Pasteris, P., Vallero, S., Rabellino, S.: The open computing cluster for advanced data manipulation (OCCAM). In: 22nd International Conference on Computing in High Energy and Nuclear Physics, San Francisco (2016)

3. Aloul, F.A., Markov, I.L., Sakallah, K.A.: FORCE: a fast and easy-to-implement variable-ordering heuristic. In: Proceedings of GLSVLSI, pp. 116–119. ACM, New York (2003)

4. Amparore, E.G.: Reengineering the editor of the GreatSPN framework. In: PNSE@ Petri Nets, pp. 153–170 (2015)

5. Springer Series in Reliability Engineering;EG Amparore,2016

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

1. Symbolic Model Checking Using Intervals of Vectors;Lecture Notes in Computer Science;2024

2. A Decision Diagram Operation for Reachability;Formal Methods;2023

3. Model of Process Synchronization in Through Analysis;Advances in Cyber-Physical Systems;2021-01-23

4. Variable order metrics for decision diagrams in system verification;International Journal on Software Tools for Technology Transfer;2019-06-14

5. Saturation Enhanced with Conditional Locality: Application to Petri Nets;Application and Theory of Petri Nets and Concurrency;2019