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...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8889742/ |