时间Petri网的数值模拟与分析

2011 4th International Conference on Logistics Pub Date : 2011-07-05 DOI:10.1109/LOGISTIQUA.2011.5939299

Souhir Bensouissi, Adel Benzina, M. Abed, K. Ghédira

{"title":"时间Petri网的数值模拟与分析","authors":"Souhir Bensouissi, Adel Benzina, M. Abed, K. Ghédira","doi":"10.1109/LOGISTIQUA.2011.5939299","DOIUrl":null,"url":null,"abstract":"The objective of this paper is to present the numerical method that generate numerically the graph of states and the graph of state classes for Time Petri nets, based on the matrix that describes Petri nets and based on computing power of machines. The results can be used to search for a desired or not desired state by giving realizable firing schedules.","PeriodicalId":324478,"journal":{"name":"2011 4th International Conference on Logistics","volume":"55 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Numerical method to simulate and to analyze Time Petri nets\",\"authors\":\"Souhir Bensouissi, Adel Benzina, M. Abed, K. Ghédira\",\"doi\":\"10.1109/LOGISTIQUA.2011.5939299\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The objective of this paper is to present the numerical method that generate numerically the graph of states and the graph of state classes for Time Petri nets, based on the matrix that describes Petri nets and based on computing power of machines. The results can be used to search for a desired or not desired state by giving realizable firing schedules.\",\"PeriodicalId\":324478,\"journal\":{\"name\":\"2011 4th International Conference on Logistics\",\"volume\":\"55 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-07-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 4th International Conference on Logistics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/LOGISTIQUA.2011.5939299\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 4th International Conference on Logistics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LOGISTIQUA.2011.5939299","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文的目的是提出一种基于Petri网描述矩阵和机器计算能力的时间Petri网的状态图和状态类图的数值生成方法。通过给出可实现的发射时间表，结果可用于搜索期望或不期望的状态。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Numerical method to simulate and to analyze Time Petri nets

The objective of this paper is to present the numerical method that generate numerically the graph of states and the graph of state classes for Time Petri nets, based on the matrix that describes Petri nets and based on computing power of machines. The results can be used to search for a desired or not desired state by giving realizable firing schedules.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 4th International Conference on Logistics

自引率

0.00%

发文量