What will be the number of reachable states if Petri-Net model states are in loop
If i have a Petri-net Model of 8 Places and 8 Transactions.There is not any dead state in this model because the token is in loop and going through all 8 places in first loop. In second and remaining loops it will go through 6 places because the token will come to Place3 when T5 is executed. Here i want to know what will be the number of reachable states. Is Reachable states will infinite (because of the loop) or what ?
It's a little hard to answer without seeing the exact net, but assuming it's a simple loop with one token, then there are four states -- distinct labeling of the places with tokens -- that repeat infinitely.
Update
Aha! That's a whole 'nother kettle of fish. Olay, so hand-simulate it. I did it by putting one finger on each token and following them. I'm going to name the places p_0 through P_7 by taking P_0 at top left and P_7 at bottom right, so the left column is P_0, P_1, P_2, the middle is P_3, P_4, the right P_5, P_6, P_7. So, we start with the labeled places as {P_0,P_7}.
Start:
{P_0, P_7}, T_1, T_6 fire.
{P_1, P_3} and T_1,T_4 fire.
{P_2, P_4} and T_2, T_5 fire and here's the kicker:
{P_2, P_3, P_5} now all have tokens. There is no pathway that "eats" tokens, no sinks, so every time P_4 gets a token, T_5 fires, and a new token appears in P_5. T_5 will be enabled infinitely often, the number of tokens grows by at least 1 every time, and so the reachability set is infinite.
This is a nice slide deck on Petri nets. http://www.labri.fr/perso/anca/FDS/Pn-ESTII.pdf
- Problem adding CrudTrait to existing Model
- Ignore mapping one property with Automapper
- Databricks ML Model Permissions
- Laravel: display data in view without Eloquent
- How can I change a Django form field value before saving?
- Django model filter for string
- Having models directory and AUTH_USER_MODEL
- AttributeError: The layer has never been called and thus has no defined output shape
- Specifying the display of a django DateField from the model, and not form/input/settings?
- django update_or_create gets "duplicate key value violates unique constraint "
- Getting error AttributeError: 'bool' object has no attribute 'transpose' when attempting to fit machine learning model
- Why when I login in django, it throws error that username or password doesn't exists
- Sending the wrong value to the controller with Url.Action
- How to sort collection in ObjectReef?
- django rest-frame-work user_id related "violates not-null constraint"
- Why is it not possible to update a django model instance like this: instance(**update_dict)?
- Tensorflow: How to convert .meta, .data and .index model files into one graph.pb file
- Alloy metamodel :: define local state and global state
- How to store a reference to model type in another model instance
- Django: Creating a Mixin for Reusable Model Fields
- In django does it matter where the `class Meta:` declaration is placed?
- How to store complex json data in model class in flutter
- Unable to get a total count of items in the model in the ASP.NET MVC view
- Why is my OPL model not providing a solution for the evacuation problem?
- How can I filter and count objects in DJANGO template?
- Explanation for MVC pattern needed
- How to update the child of a model based on a select option
- How to access URL helper from rails module
- How can I know if a table column is a foreign key in Laravel through Model?
- Saving a Newly Created Eloquent Model as a Job Property Prevents the Job from Being Handled