Entry Hoogers:1996:ESS from tcs1995.bib
Last update: Sun Oct 15 02:56:11 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Hoogers:1996:ESS,
author = "P. W. Hoogers and H. C. M. Kleijn and P. S.
Thiagarajan",
title = "An event structure semantics for general {Petri}
nets",
journal = j-THEOR-COMP-SCI,
volume = "153",
number = "1--2",
pages = "129--170",
day = "08",
month = jan,
year = "1996",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Mon Jul 19 22:19:38 MDT 1999",
bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1996&volume=153&issue=1-2;
http://www.math.utah.edu/pub/tex/bib/tcs1995.bib",
URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1996&volume=153&issue=1-2&aid=2061",
acknowledgement = ack-nhfb,
classification = "B0250 (Combinatorial mathematics); C1160
(Combinatorial mathematics)",
corpsource = "Dept. of Comput. Sci., Leiden Univ., Netherlands",
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
keywords = "1-safe Petri nets; event structure semantics; general
Petri nets; local event structures; Petri nets; prime
event structures; stable event structures; UL-event
structures",
pubcountry = "Netherlands",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- B0250,
141(1)133,
141(1)351,
143(1)93,
144(1)3,
144(1)67,
144(1)161,
144(1)277,
148(1)121,
148(1)165,
152(2)305,
153(1)171,
153(1)245,
154(2)165,
156(1)263,
159(1)29,
172(1)121,
174(1)97,
176(1)347,
178(1)103,
181(1)181,
187(1)49,
187(1)167,
188(1)231,
191(1)157
- event,
138(1)201,
138(1)211,
138(2)425,
139(1)163,
143(1)51,
148(1)67,
179(1)203,
183(2)229,
194(1)240,
194(1)241-2,
196(1)45
- general,
141(1)163,
147(1)149,
152(2)171,
154(2)183,
154(2)283,
156(1)203,
157(2)185,
157(2)227,
160(1)283,
172(1)43,
173(1)49,
177(1)27,
177(1)155,
177(2)351,
179(1)381,
183(2)187,
187(1)221,
193(1)97,
194(1)241,
197(1)157,
203(1)3,
205(1)1,
206(1)51,
209(1)87,
217(1)157,
227(1)99
- Kleijn, H. C. M.,
179(1)61
- local,
138(1)141,
138(2)391,
144(1)67,
145(1)95,
147(1)1,
148(2)261,
151(2)487,
154(2)329,
155(2)349,
155(2)439,
163(1)303,
168(1)155,
172(1)265,
173(1)89,
173(1)235,
173(1)283,
178(1)275,
183(2)229,
186(1)199,
187(1)7,
187(1)87,
191(1)229,
192(2)233,
194(1)245,
195(1)33,
197(1)245-2,
204(1)87,
205(1)297,
220(1)247
- Petri,
141(1)195,
147(1)117,
148(2)281,
153(1)3,
153(1)49,
153(1)65,
153(1)95,
153(1)171,
153(1)211,
153(1)245,
153(1)271,
154(1)107,
170(1)277,
172(1)309,
176(1)39,
179(1)203,
183(2)229,
186(1)107,
194(1)241,
194(1)241,
198(1)211,
202(1)127,
206(1)219,
216(1)1,
222(1)187
- prime,
142(2)141,
148(2)207,
160(1)87,
161(1)93,
168(2)267,
174(1)137,
174(1)157,
175(2)257,
179(1)203,
192(2)259,
215(1)1
- safe, 1-,
147(1)117,
183(2)229
- stable,
138(1)201,
141(1)53,
146(1)331,
149(2)231,
155(1)157,
159(2)271,
166(1)203,
166(1)221,
170(1)209,
187(1)49,
200(1)45