Affordable Access

Publisher Website

Analysis of petri nets by stepwise refinements

Authors
Journal
Journal of Computer and System Sciences
0022-0000
Publisher
Elsevier
Publication Date
Volume
18
Issue
1
Identifiers
DOI: 10.1016/0022-0000(79)90050-3

Abstract

Abstract If the firing of a transition in a Petri net is considered non instantaneous, it becomes possible to replace a transition in a net P by another net P ′ This allows to proceed the description and the analysis of a control structure by stepwise refinements. The necessary and sufficient conditions on P and P ′ for the resulting net to be bounded and live, are given.

There are no comments yet on this publication. Be the first to share your thoughts.