can you give me a good literature review about the resolution of state explosion problem using BDD, Krike Structure or Petri nets ?
For BDD, you may refer:
(1) Chapter-6: BDD, "Logic in Computer Science" by Michael Huth and Mark Ryan.
(2) PhD thesis of Zhennan Fei: "Symbolic Supervisory Control of Resource Allocation Systems". https://research.chalmers.se/publication/197435
here is the project we are working on, you will find in 'references' two important articles about the same formalisms :
https://www.researchgate.net/project/Combine-SOG-and-Partial-Order-Reduction-for-Effective-Verification-of-LTL-Logic
Distributed BDD-based BMC for the Verification of Multi-Agent Systems
Chapter-6: BDD, "Logic in Computer Science"
https://dtai.cs.kuleuven.be/projects/ALP/TPLP/reviews/files/review1.pdf
Theis following article probably helpful
Article A New Modular Petri Net for Modeling Large Discrete-Event Sy...
Hello I am conducting a microstructural analysis of a soil treated with lime. The following sem images are of the untreated s1 and treated soil s3. The untreated soil contains quartz calcite...
01 August 2024 572 0 View
Dear researchers, Why specific capacitance is not proportional to the specific surface area? I have material A with a surface area higher than material B, but material B is showing little bit...
26 July 2024 9,156 2 View
Hello How can I get the velocity plot u(t) of a rising bubble using COMSOL like in this tutorial...
24 June 2024 9,441 6 View
There exist a wide range of technologies used for energy storage such as electrochemical (batteries), electrical (supercapacitors), mechanical,...etc. What are the best and the most efficient...
17 May 2024 3,412 1 View
Why specific capacitance calculated from cyclic voltammetery is different from the one calculated from charge-discharge? Ps1: I used the same potential window. Ps2: the charge-discharge curve is...
18 April 2024 9,691 1 View
How much water is typically used during the impregnation step? is there any relationship between the weight of carbon and the amount of water?
12 April 2024 2,952 0 View
What is the best approach to design an H infinity controller for a linear model of a wind energy conversion system, with the goal of simulating it in Simulink? Any specific methods or tools...
26 March 2024 4,008 1 View
Dear researchers, during chemical activation, when should i start injecting N2 to the precursor? is it at the same time when start heating or until reaching the desired temperature ? thanks in...
23 February 2024 1,307 9 View
the furnace i am using for activation has been damaged, the alumina tube broke , i need a good glue to fix it!
12 November 2023 5,248 1 View
during GCD, i am seeing no discharge after long time of charging?
12 November 2023 7,295 12 View
Let's say we have a standard, regular hexagonal honeycomb with a 3-arm primitive unit cell (something like the figure attached; the figure is only representative and not drawn to scale). The...
07 August 2024 1,937 1 View
We assume this to be true. We also assume that the vacuum bomb is the latest version of explosives with an explosive power of a few to ten kg of TNT equivalent. It has the unique characteristic of...
04 August 2024 4,534 1 View
As authors and academic writers, we usually prepare our manuscript using our own resources. We submit these manuscripts to scientific Journals for peer review and publication sometimes at a fee....
03 August 2024 7,304 2 View
I am currently researching the impact of environmental toxins on children's health and would greatly appreciate insights from experts in the field. If you are an expert or researcher working on...
02 August 2024 4,474 2 View
Is the peer-reviewed publication "MedieKultur: Journal of Media and Communication Research" (ISSN Online: 1901-9726, ISSN Print: 0900-9671) a legitimate and credible scholarly journal in the field...
01 August 2024 629 3 View
Is it necessary to include a literature review even though I can't find any research that intersects with my own?
31 July 2024 6,774 6 View
Dear colleagues, I wonder if combining different research methods, namely literature review, semi-structured interviews and structured questionnaire survey will help to ensure validity and...
30 July 2024 5,154 17 View
Context: I am writing a Systematic Literature Review (SLR) as part of my master's thesis project. After initially screening the titles and abstracts of 338 papers from four selected databases, I...
29 July 2024 9,370 4 View
Google scholar isn't giving me any results on this
27 July 2024 595 2 View
Hello, I want to know how to get the templates from the Elsevier official website (their last updated if exists)? I would like to know the steps if possible.
26 July 2024 3,264 2 View