中文

Journal of Applied Sciences >

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

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

Computer Science and Applications

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

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

Cite this article

YAN Chun-gang1;2, WANG Ming-xin1;2, LIU Guan-jun1;2 . Relationship between Process Expression and Liveness of Bounded Petri Nets[J]. Journal of Applied Sciences, 2012 , 30(4) : 387 -390 . DOI: 10.3969/j.issn.0255-8297.2012.04.010

Options
Outlines

/

〈 〉