Article,

Structural analysis of t-invariance of petri nets

, and .
Electronics and Communications in Japan (Part I: Communications), 71 (6): 33--44 (1988)
DOI: 10.1002/ecja.4410710604

Abstract

This paper studies the t-invariance of a Petri net by introducing two concepts of the rigidity for its existence and the marked-graph-reducibility for its efficient computation. Some characteristics and composition rules of rigidly connected Petri nets are given and an algorithm is designed to determine efficiently t-invariants of a marked-graph-reducible Petri net.

Tags

Users

  • @eperzhand

Comments and Reviews