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...
im working now on TPV solar cells and metamaterials and i realy need our help in CST microwave i have a tpv cell simulation and i want to extract particullarly the absorbtion of only the active...
02 March 2021 2,246 2 View
I'm trying to study cracked structures under a compressive load taking into account contact between the crack lips. I would like to know if the method of extrapolation by displacement remains...
21 February 2021 8,694 4 View
Hi All , Please can you recommend a free database (i already use yahoo finance but it's not avaible) ,or if someone has already worked on this index for the period of 2015 it would be great to...
22 December 2020 247 3 View
So i was asked to make a horn-shaped patch antenna, but i'm having hard time to find its dimensions. Is there a relation between a real horn antenna dimensions and a patched one?
07 December 2020 1,748 3 View
Hello everyone, I'm working on crack propagation using a meshless method in linear elastic fracture mechanics and I want to use the Maximum Tensile Stress Criterion. I need some references or...
29 September 2020 2,362 3 View
How to calculate the sum and the subtraction of many random variables that follow exponential distributions and have different parameters ? (The value of Lambda is different for all or some...
03 September 2020 3,721 10 View
Hello First of all i am an amateur when it comes to XRD and phase analysis so please bare with me on this . That being said , i am having an issue with Match! software whereas the suggested phases...
09 March 2020 4,240 6 View
Is the thermal study of the MOSFET device important to improve the efficiency of the device or is there another opinion?
06 January 2020 8,718 4 View
I want to simulate a coaxial cable in FEKO software. However, the results do not agree with the transmission line solution that uses the transfer impedance (Schelkunoff model). I m thinking that...
05 December 2019 4,357 8 View
Hello , I am trying to make a 2D airfoil simulation using ansys fluent to calculate Aerodynamic coefficients for multiple angles of Attack . the domain i build has two parts exterior and a cyrcle...
19 November 2019 6,217 6 View
Hi everyone. I am looking for a rich corpus in English literature, a one which includes literary prose ( e.g., novels or short stories) . can anyone propose a good one? Best regards Fatemeh
01 March 2021 1,970 2 View
I am working on roof joint and trying to simulate the behaviour in Abaqus. I am successful in running the model but the final graph does not follow the experimental curve in the negative direction...
01 March 2021 6,661 3 View
Could you please recommend some good journal that accept very long revie papers (approximately 6000+ words) in neurosurgery, cancer biology ?
01 March 2021 8,087 3 View
I wanted to add an extra parameter to the existing Johnson cook equation in the ABAQUS simulation. How to add those extra parameters. Ref: A modified Johnson-Cook material model with strain...
28 February 2021 4,841 3 View
I am working on modeling and simulation of biomecanical material behaviour, I have succeded on simulating skin using anisotropic hyperelastic material, on APDL and in our lab's finite element...
28 February 2021 552 3 View
I am familiar with finite element simulations and numerical schemes like the Gauss Legendre quadrature. I also know that the Gauss integration yields exact values for polynomials up to degree 2n-1...
27 February 2021 6,818 3 View
How much value does a review paper carry in a higher study aspirant student's profile which is presented in a Peer Reviewed Scopus Indexed conference?
27 February 2021 2,068 3 View
In Finite element software like ANSYS , there is difficulty in obtaining direct results of twisting of concrete members because SOLID65 which is the unique element designed to represent concrete...
26 February 2021 3,806 2 View
26 February 2021 7,279 2 View
Has anyone ever tried to deliver CO2 with a CGA 300 regulator? I know that a CGA 320 regulator is standard for CO2. The issue is that I currently do not have any free CGA 320 regulators. I also...
25 February 2021 3,292 3 View