A causal semantics for time Petri nets

T. Aura; J. Lilius

A causal semantics for time Petri nets

T. Aura, J. Lilius

Research output: Contribution to journal › Article › Scientific › peer-review

34 Citations (Scopus)

Original language	English
Pages (from-to)	409-447
Journal	Theoretical Computer Science
Volume	243
Issue number	1-2
Publication status	Published - 2000
MoE publication type	A1 Journal article-refereed

Keywords

linear constraints
net theory
partial order semantics
processes
timing analysis

Access to Document

http://www.elsevier.nl/gej-ng/10/41/16/177/21/35/abstract.html

Cite this

Aura, T., & Lilius, J. (2000). A causal semantics for time Petri nets. Theoretical Computer Science, 243(1-2), 409-447.

@article{da4e306bfbeb48f7a62b69a601b65a75,

title = "A causal semantics for time Petri nets",

keywords = "linear constraints, net theory, partial order semantics, processes, timing analysis, linear constraints, net theory, partial order semantics, processes, timing analysis, linear constraints, net theory, partial order semantics, processes, timing analysis",

author = "T. Aura and J. Lilius",

year = "2000",

language = "English",

volume = "243",

pages = "409--447",

journal = "Theoretical Computer Science",

issn = "0304-3975",

number = "1-2",

}

TY - JOUR

T1 - A causal semantics for time Petri nets

AU - Aura, T.

AU - Lilius, J.

PY - 2000

Y1 - 2000

KW - linear constraints

KW - net theory

KW - partial order semantics

KW - processes

KW - timing analysis

KW - linear constraints

KW - net theory

KW - partial order semantics

KW - processes

KW - timing analysis

KW - linear constraints

KW - net theory

KW - partial order semantics

KW - processes

KW - timing analysis

UR - http://www.elsevier.nl/gej-ng/10/41/16/177/21/35/abstract.html

M3 - Article

VL - 243

SP - 409

EP - 447

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1-2

ER -