greatspn / SOURCES

Main repository of the GreatSPN framework
GNU General Public License v2.0
42 stars 13 forks source link

Empty Continuous Place Don't Accumulate Time #15

Open millergarym opened 4 years ago

millergarym commented 4 years ago

Hopefully some pictures will speak a lot of words.

Note the multiplicities on C0 to t0 (#C0-0.1) and C1 to t1 (#C1). After t1 fires C1 stops accumulating F1. (D0 is irrelevant)

image image image

amparore commented 4 years ago

could you please send me the model file?

millergarym commented 4 years ago

Models for this issue and issue #14

Issues.PNPRO.txt