English

应用科学学报 >

2012 , Vol. 30 >Issue 4: 387 - 390

DOI: https://doi.org/10.3969/j.issn.0255-8297.2012.04.010

计算机科学与应用

有界Petri 网进程表达式与活性的关系

展开
  • 1. 同济大学计算机科学与技术系，上海201804
    2. 同济大学嵌入式系统与服务计算教育部重点实验室，上海201804
闫春钢，教授，博导，研究方向：Petri网理论、工作流建模与分析等，E-mail: cgyan2@163.com

收稿日期: 2011-03-28

  修回日期: 2011-06-23

  网络出版日期: 2012-07-30

基金资助

国家“973”重点基础研究发展计划基金(No.2010CB328101)；国家科技重大专项基金(No.2009ZX01036-001-002)；上海市曙光
跟踪计划基金(No.08GG08)资助

收起

Relationship between Process Expression and Liveness of Bounded Petri Nets

Expand
  • 1. Computer Science and Technology Department, Tongji University, Shanghai 201804, China
    2. Key Laboratory of MoE for Embedded System and Service Computing, Tongji University,Shanghai 201804, China

Received date: 2011-03-28

  Revised date: 2011-06-23

  Online published: 2012-07-30

Fold

摘要

Petri 网进程是对Petri 网并发语义的一个刻画，是Petri 网分析和验证的有效手段. 该文针对有界Petri 网研究进程表达式和活性性质之间的关系，给出了基于进程表达式的有界Petri 网及其同步合成网的活性判定定理. 同时研究了进程表达式与虹吸、陷阱间的关系，是Petri 网活性研究的一个新的尝试.

关键词： Petri 网; 进程表达式; 活性; 陷阱; 虹吸

本文引用格式

闫春钢1;2， 汪明新1;2， 刘关俊1;2 . 有界Petri 网进程表达式与活性的关系[J]. 应用科学学报, 2012 , 30(4) : 387 -390 . DOI: 10.3969/j.issn.0255-8297.2012.04.010

Abstract

 Process of Petri nets can present the concurrent semantic of Petri nets, which is an effective way for
analyzing and verifying the Petri net properties. This paper studies the relationship between process expression
and liveness of bounded Petri nets, and provides theorems of liveness determination for bounded Petri nets
and their synchronous composition nets. The paper also explores the relationship between process expressions
and traps and siphons.

Key words： Petri nets; process expression; liveness; trap; siphon

Options
文章导航

/

〈 〉