Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Series=LNCS AND Volume=340
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
An environment for object-oriented conceptual programming based on PROT nets
M. Baldassari
,
G. Bruno
Lecture Notes in Computer Science
340
, 1988, pp. 1-19
OBJSA nets: a class of high-level nets having objects as domains
E. Battiston
,
F. de Cindio
,
G. Mauri
Lecture Notes in Computer Science
340
, 1988, pp. 20-43
On internal and external characterizations of PT-net building block behaviour
B. Baumgarten
Lecture Notes in Computer Science
340
, 1988, pp. 44-61
Timed Petri net schedules
J. Carlier
,
P. Chretienne
Lecture Notes in Computer Science
340
, 1988, pp. 62-84
An exercise in concurrency: a CSP process as a condition/event system
P. Degano
,
R. Gorrieri
,
S. Marchetti
Lecture Notes in Computer Science
340
, 1988, pp. 85-105
A survey on the decidability questions for classes of FIFO nets
A. Finkel
,
L. Rosier
Lecture Notes in Computer Science
340
, 1988, pp. 106-132
The construction of EN systems from a given trace behaviour
P. Graubmann
Lecture Notes in Computer Science
340
, 1988, pp. 133-153
Programming a closely coupled multiprocessor system with high level Petri nets
G. Hartung
Lecture Notes in Computer Science
340
, 1988, pp. 154-174
Music description and processing by Petri nets
G. Haus
,
A. Rodriguez
Lecture Notes in Computer Science
340
, 1988, pp. 175-199
On questions of fairness and temporal logic for conflict-free Petri nets
R.R. Howell
,
L.E. Rosier
Lecture Notes in Computer Science
340
, 1988, pp. 200-226
Infinitary partial Petri net languages and their relationship to other Petri net semantics
A. Kiehn
Lecture Notes in Computer Science
340
, 1988, pp. 227-248
Net representation of sentences in natural languages
V. Koseska-Toszewa
,
A. Mazurkiewicz
Lecture Notes in Computer Science
340
, 1988, pp. 249-265
Some consequences of the decidability of the reachability problem for Petri nets
J.L. Lambert
Lecture Notes in Computer Science
340
, 1988, pp. 266-282
Experiences in the use of Galileo to design telecommunication systems
I. Lopez
,
M.C. Palaez
Lecture Notes in Computer Science
340
, 1988, pp. 283-306
Compositional semantics of pure place/transition systems
A. Mazurkiewicz
Lecture Notes in Computer Science
340
, 1988, pp. 307-330
Occurrence traces: processes of elementary net systems
E. OchmaĆski
Lecture Notes in Computer Science
340
, 1988, pp. 331-342
On the generation of organizational architectures using Petri nets
P.A. Remy
,
A.H. Levis
Lecture Notes in Computer Science
340
, 1988, pp. 371-385
On the computation of structural synchronic invariants in P/T nets
M. Silva
,
J.M. Colom
Lecture Notes in Computer Science
340
, 1988, pp. 386-417
On the implementation of Petri nets
D. Taubner
Lecture Notes in Computer Science
340
, 1988, pp. 418-439