***** begin plpetri.maude
**** load dish-occs
load dish-occs-nocell
load petri
load relevant

mod QQQ is
  inc QQ .
  inc SIMPLE .
  inc  DISH-OPS .
  inc PETRI .
  inc RELEVANT-SUBNET .
endm

load meta-petri
***** end plpetri.maude

load pl2tlt  ****  new version

**** begin plax1.maude
load pl-print-aux
load pl-print
load pntl2graph
load pl-thing2aexp
load newgraph2g2d

load graph2lola
load graph-info
load graph-info-x

load aux-eset
load aux-status
load kbgraph-io
**** end plax1.maude

load pla-kb   *** new version

**** begin plax2.maude
load pla-dish
load pla-graph
load pla-info
load pla-infox

load pla-explore
load pla-compare

load export-pn
load export-sbml
load pla-export
**** load parse-panther
**** load pla-import

load pla
**** end plax2.maude

**** loop init .
