#92 Petri net terms

closed
nobody
new term (59)
5
2012-09-04
2012-08-29
Chris Myers
No

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

Discussion

  • Chris Myers

    Chris Myers - 2012-09-01

    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

    Nick Juty - 2012-09-03
    • status: open --> pending
     
  • Nick Juty

    Nick Juty - 2012-09-03

    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

    Chris Myers - 2012-09-03
    • status: pending --> open
     
  • Chris Myers

    Chris Myers - 2012-09-03

    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

    Nick Juty - 2012-09-04

    modified - thanks for the feedback

    --Nick

     
  • Nick Juty

    Nick Juty - 2012-09-04
    • status: open --> closed
     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks