Browse Prior Art Database

SPECIFICATION, DESIGN, AND IMPLEMENTATION VIA ANNOTATED PETRI NETS

IP.com Disclosure Number: IPCOM000148881D
Original Publication Date: 1982-Mar-31
Included in the Prior Art Database: 2007-Mar-30
Document File: 102 page(s) / 5M

Publishing Venue

Software Patent Institute

Related People

Nelson, R.A.: AUTHOR [+4]

Abstract

RC 9317 (#41041) 3/31/82 Computer Science 54 pages SPSCIPZCATIOlrT , DESIGN, AI?D I:iPLEPiZ'CITATIO?7 'CTL.'S. A!T1.:OTSTED PETRI NETS

This text was extracted from a PDF file.
At least one non-text object (such as an image or picture) has been suppressed.
This is the abbreviated version, containing approximately 5% of the total text.

Page 1 of 102

RC 9317 (#41041) 3/31/82 Computer Science 54 pages

' Research Report

SPSCIPZCATIOlrT , DESIGN, AI?D I:iPLEPiZ'CITATIO?7 'CTL.'S. A!T1.:OTSTED PETRI NETS

R. A. Nelson

L. l.1. IIaLb-t

P. B. Sheridan

IEN Thorns J. Watson Research Center Ycrl.:toc;n Beights , her.^ Yo:-:: 1 05 98

==?Ss

- -- r-l Research D~vtslon

**g=s

- Sari Jose 'forktown . Zurich

[This page contains 1 picture or other non-text object]

Page 2 of 102

Copies may be requested from:

ISM Thomas J. Watson Research Center Distr~bution

Services 38-066


Post Office Box 218
Yorktown Heights. New York
10598

[This page contains 1 picture or other non-text object]

Page 3 of 102

RC 9317 (#41041) 3/31/82 Computer Science 54 pages

SPZCIFICATION, DESIGN, AND INPLEMENTATIOkl
VL..rl A1:NOTATED PETRI NETS

R. A. Nelson

P, 9. Sheridan

ZEN Thomas 3. Watson Research Center

Yorkto~m Zeights, New York 10598

  This paper reports on a project concerned w i t h the problem of translating high-level design representations
into a compiler input language. The emphasis is on process
control as opposed to data flow.

in the methodology displayed, a designer would use

annotated Petri nets to express process notions such as the
parallelism and dynamic sequential dependencies of compLex soft:?are. The Petri nets can be described in a language
called PNL, which is to be submitted to a processing
program. The nets can then be firea zs part of the interactive debugging of the design, The material is
further processed into an intermediate lznguage to which a
variety of transformations are applizd in order to produce
mort efficient programs. The programs are written for
either a serial or a parallel processing environment.
Finally, the programs may be translated into ?L/I or PLJS.

While the garallel processing versions contain certain
primitives not pzrt of the defined ccnpiler input languages,
the PL/I and PL/S compilers process without objection the
seriai processing versions written 5y the net-processing
algorithms.

  Petri nets have becn used to nodel hardware and to record
hardware design decisions. The met1:odology discussed in the

 L
WI paper may prove to be applicable to autcmated design in that
domain. For exanple, it may assist in salving some of the
problems of VLSZ design.

/

\

[This page contains 1 picture or other non-text object]

Page 4 of 102

[This page contains 1 picture or other non-text object]

Page 5 of 102

Part INTRODUCTION

Softt~are
operating systems and application systems, as

measured by the number of interacting parts they contain,
can be enormously complex artifacts. Except for the use of
compilers and assemblers, the development and the
maintenance processes for these systems are labor-intensive,
error-prone, and lacking in technology. Many of the errors
which plague them are traceable to erroneous or inadequate
design, or to the misinterpretation of design information.
The detection of errors i...