时间petri网 tina仿真软件

很强大的时间petri网仿真软件，可设置时间戳，时间延迟的仿真很到位。画图很人性化，界面的美观程度仅次于CPN，但是易上手，适合初学者使用

/* 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.0\bin\
     文件     1363584  2014-12-16 10:05  tina-3.3.0\bin\nd.exe
     目录           0  2014-12-16 10:05  tina-3.3.0\bin\plugins\
     文件        1064  2014-12-16 10:05  tina-3.3.0\bin\plugins\ndmount
     文件         503  2014-12-16 10:05  tina-3.3.0\bin\plugins\plughelp.tcl
     文件       18944  2014-12-16 10:05  tina-3.3.0\bin\plughelp.exe
     文件     4601856  2014-12-16 10:05  tina-3.3.0\bin\tina.exe
     文件      902656  2014-12-16 10:05  tina-3.3.0\bin\ktzio.exe
     文件     1037824  2014-12-16 10:05  tina-3.3.0\bin\ndrio.exe
     文件     1155584  2014-12-16 10:05  tina-3.3.0\bin\plan.exe
     文件      909312  2014-12-16 10:05  tina-3.3.0\bin\struct.exe
     文件      785408  2014-12-16 10:05  tina-3.3.0\bin\selt.exe
     文件     1106432  2014-12-16 10:05  tina-3.3.0\bin\muse.exe
     文件      465408  2014-12-16 10:05  tina-3.3.0\bin\pathto.exe
     文件       59904  2014-12-16 10:05  tina-3.3.0\bin\ltl2ba.exe
     文件     6352896  2014-12-16 10:05  tina-3.3.0\bin\sift.exe
     文件     1802240  2014-12-16 10:05  tina-3.3.0\bin\play.exe
     文件       16554  2014-12-16 10:05  tina-3.3.0\bin\libdl.dll
     文件      159232  2014-12-16 10:05  tina-3.3.0\bin\libpolkag.dll
     文件       85504  2014-12-16 10:05  tina-3.3.0\bin\libpolkai.dll
     文件       93696  2014-12-16 10:05  tina-3.3.0\bin\libpolkal.dll
     文件       11264  2014-12-16 10:05  tina-3.3.0\bin\kill.exe
     文件       33280  2014-12-16 10:05  tina-3.3.0\bin\graphplace.exe
     文件      753152  2014-12-16 10:05  tina-3.3.0\bin\dot.exe
     文件      753152  2014-12-16 10:05  tina-3.3.0\bin\neato.exe
     文件      753152  2014-12-16 10:05  tina-3.3.0\bin\circo.exe
     目录           0  2014-12-16 10:05  tina-3.3.0\doc\
     目录           0  2014-12-16 10:05  tina-3.3.0\doc\txt\
     文件       21860  2014-12-16 10:05  tina-3.3.0\doc\txt\formats.txt
     文件        6443  2014-12-16 10:05  tina-3.3.0\doc\txt\ktzio.txt
............此处省略139个文件信息