DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.

P. E. Lauer, R. H. Campbell

Research output: Contribution to conferencePaperpeer-review

Abstract

Petri nets are used to define a path and process notation which is more general in its ability to express synchronization than previous path notations. The Petri net classes corresponding to the path notation prove to be interesting in their own right and have demonstrable properties such as liveness and safeness.

Original languageEnglish (US)
Pages95-105
Number of pages11
StatePublished - Jan 1 1975
Externally publishedYes
EventACM Symp on Princ of Program Lang, 2nd, Conf Rec - Palo Alto, CA, USA
Duration: Jan 20 1975Jan 22 1975

Other

OtherACM Symp on Princ of Program Lang, 2nd, Conf Rec
CityPalo Alto, CA, USA
Period1/20/751/22/75

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.'. Together they form a unique fingerprint.

Cite this