We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Analysis of Production Schemata by Petri Nets

Thumbnail Image
Download
Name

MIT-LCS-TR-094.pdf

Size

2.33 MB

Format

Adobe PDF

Checksum (MD5)

10f3896892f0bd559081f92e1b911b9f

Author(s)
Hack, Michel Henri Théodore
Date Issued
February 1972
Series/Report no.
MIT-LCS-TR-094
MAC-TR-094
Abstract
Petri nets provide a powerful graphical tool for representing and analyzing complex concurrent systems. Properties such as hang-up freeness, determinacy, conflict, concurrency and dependency, can be represented and studied. The precise relationship between structural and behavioral properties, and between local and global properties is not well-understood for the most general class of Petri Nets.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.