search

sarahtattersall / PIPECore

Core libraries for building and editing Petri nets
6 stars 12 forks source link

Infinite Server semantics not supported in Animation #3

Closed sarahtattersall closed 10 years ago

sarahtattersall commented 10 years ago

Infinite server semantics are not supported.

sarahtattersall commented 10 years ago

This is not how animation should behave.

With n tokens in a place and an infinite server n-1 tokens should remain and still one should fire, it's just the rate is multiplied by the enabling degree.