时间petri网 tina仿真软件

/* this file should be compiled as a shared library statically linked
   with the libbcg.a of CADP */


#include “bcg_user.h“

/* reading bcg */

BCG_TYPE_object_TRANSITION bcg_graph;

int TINA_READ_BCG_OPEN （char* file）
{
  BCG_INIT （）;
  BCG_OT_READ_BCG_SURVIVE （BCG_TRUE）;
  BCG_OT_READ_BCG_BEGIN （file &bcg_graph 1）;
  
  if （NULL==bcg_graph） {return 1;} else {return 0;}
}

BCG_TYPE_NATURAL TINA_READ_NB_STATES （）
{
  return BCG_OT_NB_STATES （bcg_graph）;
}

BCG_TYPE_NATURAL TINA_READ_NB_EDGES （）
{
  return BCG_OT_NB_EDGES （bcg_graph）;
}

BCG_TYPE_NATURAL TINA_READ_NB_LABELS （）
{
  return BCG_OT_NB_LABELS （bcg_graph）;
}

char *TINA_READ_TR_NAME （bcg_label_number）
     BCG_TYPE_LABEL_NUMBER bcg_label_number;
{
  return BCG_OT_LABEL_STRING （bcg_graph bcg_label_number）;
}

BCG_TYPE_NATURAL TINA_READ_STATE_NB_SUCCS （bcg_s1）
     bcg_type_state_number bcg_s1;
{
  BCG_TYPE_LABEL_NUMBER bcg_label_number;
  bcg_type_state_number bcg_s2;
  int count=0;

  BCG_OT_ITERATE_P_LN （bcg_graph bcg_s1 bcg_label_number bcg_s2） {
    count++;
  }
  BCG_OT_END_ITERATE;
  return count;
}

int TINA_READ_STATE_SUCCS （countbcg_s1sbuffertbuffer）
     int count;
     bcg_type_state_number sbuffer[];
     BCG_TYPE_LABEL_NUMBER tbuffer[];
     bcg_type_state_number bcg_s1;
{
  BCG_TYPE_LABEL_NUMBER bcg_label_number;
  bcg_type_state_number bcg_s2;
  int i=0;

  BCG_OT_ITERATE_P_LN （bcg_graph bcg_s1 bcg_label_number bcg_s2） {
    sbuffer[i]=bcg_s2;
    tbuffer[i]=bcg_label_number;
    i++;
  }
  BCG_OT_END_ITERATE;
  return 0;
}
    
int TINA_READ_BCG_CLOSE （）
{
  BCG_OT_READ_BCG_END （&bcg_graph）;
  return 0;
}



/* writing bcg */

int TINA_WRITE_BCG_OPEN （char* file int initial int format char* creator int monitor）
{
  int res;
  BCG_INIT （）;
  BCG_IO_WRITE_BCG_SURVIVE （BCG_TRUE）;  /* don‘t exit if file can‘t be opened */
  BCG_IO_WRITE_BCG_PARSING （0）;         /* don‘t parse labels */
  res = BCG_IO_WRITE_BCG_BEGIN （file initial format creator monitor）;
  return res;
}

int TINA_WRITE_BCG_EDGE （int from char* label int to）
{
  BCG_IO_WRITE_BCG_EDGE （from label to）;
  return 0;
}

int TINA_WRITE_BCG_CLOSE （int dummy）
{
  BCG_IO_WRITE_BCG_END （）;
  return 0;
}

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     目录           0  2014-12-16 10:05  tina-3.3.0
     目录           0  2014-12-16 10:05  tina-3.3.0in
     文件     1363584  2014-12-16 10:05  tina-3.3.0in
d.exe
     目录           0  2014-12-16 10:05  tina-3.3.0inplugins
     文件        1064  2014-12-16 10:05  tina-3.3.0inplugins
dmount
     文件         503  2014-12-16 10:05  tina-3.3.0inpluginsplughelp.tcl
     文件       18944  2014-12-16 10:05  tina-3.3.0inplughelp.exe
     文件     4601856  2014-12-16 10:05  tina-3.3.0in ina.exe
     文件      902656  2014-12-16 10:05  tina-3.3.0inktzio.exe
     文件     1037824  2014-12-16 10:05  tina-3.3.0in
drio.exe
     文件     1155584  2014-12-16 10:05  tina-3.3.0inplan.exe
     文件      909312  2014-12-16 10:05  tina-3.3.0instruct.exe
     文件      785408  2014-12-16 10:05  tina-3.3.0inselt.exe
     文件     1106432  2014-12-16 10:05  tina-3.3.0inmuse.exe
     文件      465408  2014-12-16 10:05  tina-3.3.0inpathto.exe
     文件       59904  2014-12-16 10:05  tina-3.3.0inltl2ba.exe
     文件     6352896  2014-12-16 10:05  tina-3.3.0insift.exe
     文件     1802240  2014-12-16 10:05  tina-3.3.0inplay.exe
     文件       16554  2014-12-16 10:05  tina-3.3.0inlibdl.dll
     文件      159232  2014-12-16 10:05  tina-3.3.0inlibpolkag.dll
     文件       85504  2014-12-16 10:05  tina-3.3.0inlibpolkai.dll
     文件       93696  2014-12-16 10:05  tina-3.3.0inlibpolkal.dll
     文件       11264  2014-12-16 10:05  tina-3.3.0inkill.exe
     文件       33280  2014-12-16 10:05  tina-3.3.0ingraphplace.exe
     文件      753152  2014-12-16 10:05  tina-3.3.0indot.exe
     文件      753152  2014-12-16 10:05  tina-3.3.0in
eato.exe
     文件      753152  2014-12-16 10:05  tina-3.3.0incirco.exe
     目录           0  2014-12-16 10:05  tina-3.3.0doc
     目录           0  2014-12-16 10:05  tina-3.3.0doc xt
     文件       21860  2014-12-16 10:05  tina-3.3.0doc xtformats.txt
     文件        6443  2014-12-16 10:05  tina-3.3.0doc xtktzio.txt
............此处省略139个文件信息