Title

Software Specification And Design Using Petri Nets.

Abstract

A software specification and design technique using Petri nets is presented. The technique is illustrated by designing a solution to the lift (elevator) problem. Building floors are represented by places in the Petri net, and lifts are represented by colored tokens in floor places. Buttons are also represented by places; a lighted button is represented by its place filled with a token. The actions (such as pressing a button or moving a lift) are represented by Petri net transitions. The constraints of the problem are specified by separate Petri nets. The design of a complete solution is obtained by expanding these specifications in Petri nets. It is shown that the design satisfies several desirable properties specified in the lift problem.

Publication Date

1-1-1987

Number of Pages

225-230

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

Socpus ID

0023170140 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0023170140

This document is currently not available here.

Share

COinS