Logic Petri Net Synthesis for Cooperative Systems

Logic Petri Nets (LPNs) is a high-level Petri net, which have the capability to model the batch and indeterminate processing of resources in cooperative systems. Their modeling capability is equivalent to that of inhibition Petri nets (IPNs) but the former maintains simpler net structures. This pape...

Full description

Bibliographic Details
Main Authors: Wenjing Luan, Liang Qi, Zhongying Zhao, Jianxin Liu, Yuyue Du
Format: Article
Published: IEEE 2019-01-01
Series:IEEE Access
Online Access:https://ieeexplore.ieee.org/document/8889742/