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: Author="Murata, Tadao"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A constructive method for finding legal transition sequences in Petri nets
Jeng S. Huang
,
Tadao Murata
Journal of Circuits, Systems, and Computers
8
(1), 1998, pp. 189-222
Temporal uncertainty and fuzzy-timing high-level Petri nets
Tadao Murata
Lecture Notes in Computer Science
1091
, 1996, pp. 11-28
An application of Petri net reduction for Ada tasking deadlock analysis
Sol M. Shatz
,
Shengru Tu
,
Tadao Murata
,
Sastry Duri
IEEE Transactions on Parallel and Distributed Systems
7
(12), 1996, pp. 1307-1322
B-fairness and structural B-fairness in Petri net models of concurrent systems
Manuel Silva
,
Tadao Murata
Journal of Computer and System Sciences
44
, 1992, pp. 447-477
Petri nets: Properties, analysis and applications
Tadao Murata
Proceedings of the IEEE
77
(4), 1989, April, pp. 541-580
Synthesis of decision-free concurrent systems for prescribed resources and performance
Tadao Murata
IEEE Transactions on Software Engineering
SE-6
(6), 1980, November, pp. 525-530
State equation, controllability, and maximal matchings of Petri nets
Tadao Murata
IEEE Transactions on Automatic Control
, 1977, June, pp. 412-416