#92 Petri net terms

[Chris Myers]

It would be nice to have a term that says a parameter is a Petri net place. I think it would be a child of:
SBO:0000546 - qualitative systems description parameter

Similarly, it would be nice to have a term that says an event is Petri net transition. I think it would be a child of:
SBO:0000464 - state variable assignment

[Chris Myers]

It would also be nice to have a term for a logical parameter which is also a child of SBO:0000546 - qualitative systems description parameter.

[Nick Juty]

created 2 terms:
SBO:0000591 - petri net transition
SBO:0000593 - petri net place

Appreciate any feedback you may have for definitions etc...

cheers

Nick

[Chris Myers]

I would change the definitions as follows:

petri net place - A defined entity pool state which can be modified by a petri net transition

petri net transition - A process that can modify the state of petri net 'places'[SBO:0000593].

When a transition occurs it removes tokens from some places and add them to others, which I think is better described as above.

As for the logical parameter described in my comment below, do you want a separate term request for that?

[Nick Juty]

modified - thanks for the feedback

--Nick