Composition of Logical Petri Nets and Compatibility Analysis

Logical Petri nets (LPNs) can well describe and analyze batch processing functions and pass the value indeterminacy in cooperative systems. Their structure is simpler than their equivalent inhibition PNs. To analyze them, a vector matching method was given previously. We present interactive LPNs (IL...

Full description

Bibliographic Details
Main Authors: Wenjing Luan, Liang QI, Yuyue Du
Format: Article
Published: IEEE 2017-01-01
Series:IEEE Access
Online Access: