#28 closed defect (fixed)
Petri nets bug
Reported by: | miha | Owned by: | miha |
---|---|---|---|
Priority: | major | Milestone: | Promot 0.8 |
Component: | PromotWriterDiana | Version: | |
Severity: | fatal | Keywords: | |
Cc: |
Description
XML and C++ generation bugs for the model
(define-module :class "Petri_Tests" :super-classes ("module") :variables (("lbda_numax" :is-a "variable" :system-theoretic "real-parameter" :value "1.0") ("lbda3" :is-a "variable" :system-theoretic "state" :report "distributed" :value "10.0" :minimum "-100.0" :maximum "100.0" :absolute-error "1.0D-09")) :places (("state_v" :is-a "place" :initial-mark "no") ("state_l" :is-a "place" :initial-mark "yes")) :transitions (("from_v_to_l" :is-a "transition" :phi-function "lbda_numax - lbda3" :direction "unidirectional" :from ("state_v") :to ("state_l")) ("from_l_to_v" :is-a "transition" :phi-function "lbda3 - lbda_numax" :direction "unidirectional" :from ("state_l") :to ("state_v"))) :equations (("lbda3_Eq" :is-a "equation" :relation ":diff<t>lbda3==-lbda3")))
Change History (2)
comment:1 Changed 17 years ago by ginkel
- Resolution set to fixed
- Status changed from new to closed
comment:2 Changed 17 years ago by rempel
- Milestone changed from Promot 1.0 to Promot 0.8
Note: See
TracTickets for help on using
tickets.