Easy synchronized Petri nets as discrete event models

A. Giua, F. Di Cesare
{"title":"Easy synchronized Petri nets as discrete event models","authors":"A. Giua, F. Di Cesare","doi":"10.1109/CDC.1990.203297","DOIUrl":null,"url":null,"abstract":"Linguistic concepts are introduced to relate Petri net models with the control theory for discrete event systems. Petri net structures can be considered as language generators, and different languages associated with them are examined. An important operator, synchronization, is introduced and its counterpart on a Petri net structure is studied. Finally, the authors introduce the concept of easiness, and study how this property is preserved by synchronization. A net is easy when the solution of the state equation gives a sufficient condition for reachability. The main result is that, although easiness is not preserved in general by synchronization, one can define classes of synchronization that are easiness-invariant.<<ETX>>","PeriodicalId":287089,"journal":{"name":"29th IEEE Conference on Decision and Control","volume":"53 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"29th IEEE Conference on Decision and Control","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.1990.203297","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8

Abstract

Linguistic concepts are introduced to relate Petri net models with the control theory for discrete event systems. Petri net structures can be considered as language generators, and different languages associated with them are examined. An important operator, synchronization, is introduced and its counterpart on a Petri net structure is studied. Finally, the authors introduce the concept of easiness, and study how this property is preserved by synchronization. A net is easy when the solution of the state equation gives a sufficient condition for reachability. The main result is that, although easiness is not preserved in general by synchronization, one can define classes of synchronization that are easiness-invariant.<>
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
易于同步Petri网作为离散事件模型
引入语言学概念,将Petri网模型与离散事件系统的控制理论联系起来。Petri网结构可以被视为语言生成器,并对与之相关的不同语言进行了研究。介绍了一个重要的算子——同步算子,并研究了同步算子在Petri网结构上的对应算子。最后,作者引入了易性的概念,并研究了如何通过同步来保持易性。当状态方程的解给出可达性的充分条件时,网络是容易的。其主要结果是,尽管同步通常不会保持简单性,但可以定义简单不变的同步类。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
Distance to the nearest uncontrollable pair and algebraic Riccati equation Digital redesign of a continuous controller based on closed loop performance Time delay in adaptive filtering Equivalence of optimal control problems and the use of parameterization methods Evaluation of a technique to quantify microburst windshear hazard potential to aircraft
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1