pnml解析为关联矩阵

#include <stdio.h>
#include "tinyxml.h"
#include <iostream>
#include <cstring>
#include<string>
#include<vector>
#include <stdlib.h>
using namespace std;

struct Arc {
    string id;
    string source;
    string target;
    int sourceNum = 0;
    int sourceP = 0;//源节点是库所,则sourceP为1
    int sourceT = 0;
    int targetNum = 0;
};

//库所顶点表
typedef struct Place
{
    string name;
    int num = 0;
    int initialMarking = 0;
};

//变迁顶点表
typedef struct Transition
{
    string name;
    int num = 0;
};
int m = 0;
int n = 0;
int arcnum = 0;
Arc arc[1000];
int A[300][300] = { 0 };
Place place[300];
Transition transition[300];
void readPNML() {
    
    TiXmlDocument mydoc("E:\\model.pnml");
    bool loadOK = mydoc.LoadFile();
    if (!loadOK) {
        cout << "could not load the test file" << endl;
        exit(1);
    }
    TiXmlElement *pnmlElement = mydoc.RootElement();
    TiXmlElement *netElement = pnmlElement->FirstChildElement();
    TiXmlElement *pageElement = netElement->FirstChildElement("page");
    for (TiXmlElement *petriElement = pageElement->FirstChildElement();//第一个子元素
        petriElement;
        petriElement = petriElement->NextSiblingElement())
    {
        if (petriElement->ValueTStr() == "place") {
            place[m].num = m;
            if (petriElement->FirstChildElement("initialMarking")) {
                TiXmlElement *initialMarkingElement = petriElement->FirstChildElement("initialMarking")->FirstChildElement("text");
                place[m].initialMarking = atoi(initialMarkingElement->GetText());
            }
            TiXmlElement *nameElement = petriElement->FirstChildElement("name")->FirstChildElement("text");
            place[m].name = nameElement->GetText();
            m++;
        }
        if (petriElement->ValueTStr() == "transition") {
            transition[n].num = n;
            TiXmlElement *tnameElement = petriElement->FirstChildElement("name")->FirstChildElement("text");
            transition[n].name = tnameElement->GetText();
            n++;
        }
        if (petriElement->ValueTStr() == "arc") {
            TiXmlAttribute *arcAttr = petriElement->FirstAttribute();
            arc[arcnum].id = arcAttr->Value();
            arcAttr = arcAttr->Next();
            arc[arcnum].source = arcAttr->Value();
            arcAttr = arcAttr->Next();
            arc[arcnum].target = arcAttr->Value();
            arcnum++;
        }
    }
    for (int i = 0; i < arcnum; i++) {//对于每一条弧
        for (int j = 0; j < n; j++) {//和变迁比
            if (arc[i].source.compare(transition[j].name) == 0) {
                arc[i].sourceT = 1;
                arc[i].sourceNum = transition[j].num;
            }
            if (arc[i].target.compare(transition[j].name) == 0) {
                arc[i].targetNum = j;
            }
        }
        for (int k = 0; k < m; k++) {//和库所比
            if (arc[i].source.compare(place[k].name) == 0) {
                arc[i].sourceP = 1;
                arc[i].sourceNum = place[k].num;
            }
            if (arc[i].target.compare(place[k].name) == 0) {
                arc[i].targetNum = k;
            }
        }
    }
}

void getA() {
    for (int i = 0; i < arcnum; i++) {
        if (arc[i].sourceP == 1) {
            A[arc[i].targetNum][arc[i].sourceNum]--;
        }

        if (arc[i].sourceT == 1) {
            A[arc[i].sourceNum][arc[i].targetNum]++;
        }
    }
}

void printA() {
    for (int i = 0; i < n; i++) {
        for (int j = 0; j < m; j++) {
            cout << A[i][j] << "  ";
        }
        cout << endl;
    }
}

int main() {
    readPNML();//读取pnml文档信息
    getA();//生成关联矩阵
    printA();//打印关联矩阵
//    ReachabilityGraph();//生成可达图
//    PrintGraph();//打印可达图
    system("pause");
    return 0;
}

 

  • 1
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 2
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值