Proceedings of the IEEK Conference (대한전자공학회:학술대회논문집)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

Liveness and Conjecture in Petri Nets

  • Weiming, L-U (Institute of Mathematics, Academy of Mathematics and System Sciences) ;
  • Cheonhee, Y-I (Department of Electronic Engineering, Chongju University)
  • Published : 2000.07.01
Download PDF
⟨ Previous Next ⟩

Abstract

Beyond free choice net system this paper presents some liveness knowledge in asymmetric net system including necessary and sufficient condition for an asymmetric net system being live and having liveness monotonicity, and an algorithm, polynomial time complexity, for such deciding. Also two conjectures about system livenss are in the contribution.

Keywords