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
[2]
Hilfe
Suche: Series=LNCS AND Volume=691
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interval timed coloured Petri nets and their analysis
W.M.P. van der Aalst
Lecture Notes in Computer Science
691
, 1993, pp. 453-472
Integration of specification for modeling and specification for system design
Chang-Yu Wang
,
Kishor S. Trivedi
Lecture Notes in Computer Science
691
, 1993, pp. 473-492
New priority-lists for scheduling in timed Petri nets
Toshimasa Watanabe
,
Masahiro Yamauchi
Lecture Notes in Computer Science
691
, 1993, pp. 493-512
A unified approach for reasoning about conflict-free Petri nets
Hsu-Chun Yen
,
Bow-Yaw Wang
,
Ming-Sheng Yang
Lecture Notes in Computer Science
691
, 1993, pp. 513-531
A colored Petri net model for a naval command and control system
J. Berger
,
L. Lamontagne
Lecture Notes in Computer Science
691
, 1993, pp. 532-541
Petri net based specifications of services in an intelligent network - experiences gained from a test case application
Carla Capellmann
,
Heinz Dibold
Lecture Notes in Computer Science
691
, 1993, pp. 542-551
On net modeling of industrial size concurrent systems
Ludmila Cherkasova
,
Vadim Kotov
,
Thomas Rokicki
Lecture Notes in Computer Science
691
, 1993, pp. 552-561
Analysis of the TMS320C40 communication channels using timed Petri nets
David A. Hartley
,
David M. Harvey
Lecture Notes in Computer Science
691
, 1993, pp. 562-571
Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN
Guenter Klas
Lecture Notes in Computer Science
691
, 1993, pp. 572-581
Petri nets modeling in pipelined microprocessor design
Qian Zhang
,
Herbert Grünbacher
Lecture Notes in Computer Science
691
, 1993, pp. 582-591
Seiten
<
1
2