How can I generate tokens in an exponential transition in Petri Net using TimeNet Tool for simulation?

More Adigun Samson's questions See All

Do you think can be any Uranium bearing rocks in Eastern part of Iran and western part of Afghanistan?

I want to know more about Uranium ore deposits in world.

11 August 2024 6,720 0 View

Do you think can be any diamond bearing rocks in Eastern part of Iran and western part of Afghanistan?

I want to know more about diamond ore deposits in world.

11 August 2024 2,167 1 View

What is the difference between mathematical R^4 space and physical 4D unit space?

We assume that the difference is huge and that it is not possible to compare the two spaces. The R^4 mathematical space considers time as an external controller and the space itself is immobile in...

10 August 2024 6,678 14 View

If Banks do not provide credit facility, what are the options available for FPOs and impact on producer’s income?

10 August 2024 8,198 5 View

Controlling for pupil light reflex when analyzing pupil size time course?

I used eye tracking to examine how participants from two different populations (A and B) react to an image. Participants in population A exhibit larger pupil sizes over time, but they also have...

10 August 2024 3,229 0 View

What are a “Farmers Producer Organization” (FPO) and its essential features?

10 August 2024 477 5 View

Strugglling with m6A dot blot any suugesstion ?

I have been doing the m6A dot blot for a while with no improvement, I am extracting the RNA, and I can see the dots although the three biological replicas give a different reading on the memberan...

10 August 2024 8,539 5 View

Do interactions between biosphere, carbon cycle, & water cycle impact global warming & interaction between atmosphere & hydrosphere?

How do interactions between the biosphere, the carbon cycle, and the water cycle impact global warming and interaction between the atmosphere and the hydrosphere?

09 August 2024 3,291 2 View

How to get moment output in Abaqus Standart?

I have input a moment load in module load Abaqus, i put my moment load on the node surface (using reference point). I have define moment in history output and make a set for moment too. But the...

08 August 2024 4,831 4 View

How is energy cycled through the Earth's climate system and how do matter cycle and energy flow through the rock cycle?

08 August 2024 8,162 0 View

How can colored Petri nets enhance the modeling expressiveness and analysis capabilities in complex system representations?

Explore the synergies between colored Petri nets and system modeling, focusing on their potential to represent diverse system states and facilitate rigorous analysis for complex dynamic systems....

03 January 2024 648 0 View

Can Petri net be combined with machine learning?

Can Petri net be combined with the current popular machine learning algorithm? Are there any areas that can be combined？

06 May 2022 5,751 2 View

Can anyone explain how to carry out protocol analysis of mutual authentication mechanism over VPN?

The protocol analysis must be based on the petri nets theory. Following the petri net model and formal specifications and the analysis should focus on at least two properties.

22 November 2021 5,653 2 View

What is the formula of the ASK-CTL query for the hierarchical Petri Net model?

I am trying to check whether this predicate holds within a hierarchical Petri Net model, but I got an error shown in the picture. The predicate: fun start n = (Mark.coin'sender 1 n=...

15 November 2021 8,959 0 View

What does it mean when a SS (state space) and SCC (strongly connected component) graph of hierarchical coloured Petri net model has just one node?

Hi, I have a hierarchical CPN model for a source code program, now I want to separate part of my model then compare it with another model to check the match between them. The simulation was...

17 September 2021 3,725 1 View

What does the notation for t1 mean in this Petri Net?

I don't understand the notation used in transition t1 of this Petri Net. In particular what is the meaning of the 2 arcs going from the same place p1 into the transition t1? I've seen other...

27 September 2020 8,025 4 View

How to calculate the sum and the subtraction of many random variables that follow exponential distributions ?

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 4,132 10 View

Which modelling language (UML or SysML) is the best at modelling clouds?

Hello fellows, I'm about to begin my Master's thesis in 2 months. The thesis regards the modelling of dependencies in network-based Edge Clouds as well as the performance evaluation. I've done...

03 December 2019 7,726 3 View

What are the last formalisms developed from Petri Nets for modelling and evaluating risk and performance ?

16 October 2019 7,580 1 View

Petri nets with reference semantics for data?

Which are well-defined Petri net extensions that conceive tokens as "pointers" to data attributes? For instance, two tokens, let's call them 'r1' and 'r2', in two different net places may have...

14 October 2019 6,171 0 View