Skip to main content
Download PDF
- Main
Computation modules and petri nets
Abstract
Petri-nets are used as a model of processes, and a property of a net called proper termination is defined and discussed. Proper termination is argued to be a useful property which a construct called a "module" should possess. This property assures reentrancy and freedom from deadlock in the net, and a theorem is given concerning the substitution or interchange of modules in a larger environment.
Main Content
For improved accessibility of PDF content, download the file to your device.
Enter the password to open this PDF file:
File name:
-
File size:
-
Title:
-
Author:
-
Subject:
-
Keywords:
-
Creation Date:
-
Modification Date:
-
Creator:
-
PDF Producer:
-
PDF Version:
-
Page Count:
-
Page Size:
-
Fast Web View:
-
Preparing document for printing…
0%