Opened 19 years ago

Closed 17 years ago

Last modified 17 years ago

#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.