Comments on "deadlock prevention policy based on petri nets and siphons"

Document Type

Article

Publication Date

12-15-2004

Abstract

A deadlock prevention policy for a class of Petri nets S3 PR was proposed. A liveness-enforcing Petri net supervisor could be obtained by adding monitors to the plant net model. The approach could generate a correct supervisor with more permissive behavior than the existing methods in Ezpeleta and Li and Zhou, where the same class of Petri nets were dealt with. The obtained additional monitors and related arcs were shown and the net supervisor produced was live with 12656 reachable states.

Identifier

10444263058 (Scopus)

Publication Title

International Journal of Production Research

External Full Text Location

https://doi.org/10.1080/00207540412331330822

ISSN

00207543

First Page

5253

Last Page

5254

Issue

24

Volume

42

Grant

60474018

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS