DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.

P. E. Lauer; R. H. Campbell

DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.

Research output: Contribution to conference › Paper › peer-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 language	English (US)
Pages	95-105
Number of pages	11
State	Published - Jan 1 1975
Externally published	Yes
Event	ACM Symp on Princ of Program Lang, 2nd, Conf Rec - Palo Alto, CA, USA Duration: Jan 20 1975 → Jan 22 1975

Other

Other	ACM Symp on Princ of Program Lang, 2nd, Conf Rec
City	Palo Alto, CA, USA
Period	1/20/75 → 1/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

@conference{8712f289cfb94d8d9a5af758c899df05,

title = "DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.",

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.",

author = "Lauer, {P. E.} and Campbell, {R. H.}",

year = "1975",

month = jan,

day = "1",

language = "English (US)",

pages = "95--105",

note = "ACM Symp on Princ of Program Lang, 2nd, Conf Rec ; Conference date: 20-01-1975 Through 22-01-1975",

}

TY - CONF

T1 - DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.

AU - Lauer, P. E.

AU - Campbell, R. H.

PY - 1975/1/1

Y1 - 1975/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0016591648&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0016591648&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0016591648

SP - 95

EP - 105

T2 - ACM Symp on Princ of Program Lang, 2nd, Conf Rec

Y2 - 20 January 1975 through 22 January 1975

ER -

DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.

Abstract

Other

ASJC Scopus subject areas

Other files and links

Cite this