关键词：逻辑数据petri网 电子商务系统 优先级 时间 

摘要：为了解决逻辑Petri网中处理托肯优先级的问题,结合逻辑Petri网和时间Petri网的思想,提出逻辑数据Petri网、引发规则及其可达图。在该网中,为每个托肯添加了属性和到达时间,为逻辑输入、输出变迁添加了批处理等待时间和变迁引发持续时间,为普通变迁添加了引发持续时间。针对托肯定义了属性、时间删除函数和写函数,对库所中托肯的属性和到达时间进行了操作。建立了基于逻辑数据Petri网的电子商务系统模型,构建了可达图并重新定义了可达图中的状态信息,分析了优先级不同的托肯的时间优越性以及系统处理用户请求时的公平性。

计算机集成制造系统杂志要求:

{1}参考文献按正文中出现的顺序排列编号，置于文后。参照国标《信息与文献参考文献著录规则》(GB7714-2015)著录。

{2}应观点鲜明、主题明确、内容充实、资料翔实、数据可靠、论证严密、逻辑清晰、文字规范。

{3}自收稿之日起，编辑部将在1个月内给作者答复来稿处理意见，如在此期限内未收到采用通知，作者可另行处理稿件并告知我刊。

{4}文章标题：一般不超过20个汉字，必要时可以添加副标题。

{5}作者工作单位应写正式全称，不用简称，后加省名、城市名、邮政编码。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社