QR kód

Application and theory of Petri nets. 1996 : Proceedings, Osaka, Japan, June 24 - 28, 1996 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Billington, Jonathan
Korporativní autor:	Proceedings Japan, Osaka
Další autoři:	Reisig, W. (Editor)
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 1996
Vydání:	[1st ed.]
Edice:	Lecture notes in computer science Vol. 1091
Témata:	fuzzy časovanie > Petriho sieť > modelovanie > verifikovanie komunikačných prenosových brán > vysokoúrovňová syntéza
ISBN:	3540613633
ISSN:	0302-9743
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Logic and architecture synthesis for silicon compilers : Proceedings of the internat. workshop, Grenoble, France, 25 - 27 May, 1988 /
Autor: Saucier, Gabriéle
Vydáno: (1989)

Sekcionálne garážové brány Wayne-Dalton. Bezpečnosť, komfort, elegancia....
Vydáno: (2007)

Multidimensional periodic scheduling /
Autor: Verhaegh, Wilhelmus Franciscus Johannes
Vydáno: (1995)

Distributed algorithms for hard real-time systems /
Autor: Alstein, Dick
Vydáno: (1996)

Připojování periferií k PC /
Autor: Šnorek, Miroslav 1947-
Vydáno: (1996)

Selected topics in modelling and control. Vol. 1 /
Autor: Mikleš, J.
Vydáno: (1998)

Umelé neurónové siete v automatickom riadení. Testovanie neuromodelov a návrh predkompenzovaných riadiacich štruktúr /
Autor: Popardovský, Vladimír
Vydáno: (1999)

Integrated information systems design. An approach based on object-oriented concepts and Petri nets /
Autor: Verkoulen, Peter Antonius Christiaan
Vydáno: (1993)

PETRI NETS /
Autor: Reisig, Wolfgang
Vydáno: (1985)

Petri net theory and the modeling of systems /
Autor: Peterson, James Lyle
Vydáno: (1981)

Applications and theory of Petri nets : 3rd European Workshop, Varenna, Italy, 27. - 30. 9. 1982 /
Autor: Petri, C. A.
Vydáno: (1983)

ADVANCES IN PETRI NETS. 1987 /
Autor: Girault, C.
Vydáno: (1987)

ADVANCES IN PETRI NETS. 1985 /
Autor: Baumgarten, B.
Vydáno: (1986)

Algebraically generalised Petri nets /
Autor: Juhás, Gabriel
Vydáno: (1998)

Artificial intelligence and cognitive science.
Vydáno: (2014)

Electrical drives and power electronics. Vol. 1 : Internat. conf., High Tatras, Slovakia, Oct. 1 - 3, 1996 /
Autor: Szarka, T.
Vydáno: (1996)

Systémová analýza /
Autor: Votruba, Zdeněk 1942-, a další
Vydáno: (2008)

A STRUCTURING MECHANISM FOR PETRI NETS /
Autor: Kiehn, Astrid
Vydáno: (1989)

A primer in Petri net design /
Autor: Reisig, Wolfgang
Vydáno: (1992)

In terms of nets. System design with Petri nets and process algebra /
Autor: Basten, Antonius André
Vydáno: (1998)

PETRI NETS. APPLICATIONS AND RELATIONSHIPS TO OTHER MODELS OF CONCURRENCY. Advances in Petri nets 1986. Part 2 : Proceedings of an advanced course, Bad Honnef, 8. - 19. Sept. 1986 /
Autor: Jensen, Kurt
Vydáno: (1987)

Měření přenosových parametrů optických vláken, kabelů a tras /
Autor: Dubský, Pavel
Vydáno: (1994)

Decomposition and protocols in high-level Petri nets /
Autor: Rambags, Paul Michel Peter
Vydáno: (1994)

Reachability analysis of systems based on Petri Nets /
Autor: Hudák, Štefan
Vydáno: (1999)

PETRI NETS. CENTRAL MODELS AND THEIR PROPERTIES : Proceedings, Bad Honnef, Sept. 1986 /
Autor: Petri, Carl Adam
Vydáno: (1987)

Teoretické základy odboru. Príklady k cvičeniam /
Autor: Madlo, Viliam
Vydáno: (1998)

Modelování komunikačních systémů. 2. díl /
Autor: Janáček, Jaroslav 1949-
Vydáno: (1992)

NEKOMOT 2003. Interdisciplinárne riešenie nekonvenčných mechanizmov spaľovacích motorov /
Autor: Isteník, Rastislav 1971-
Vydáno: (2003)

THE FINITE REPRESENTATION OF ABSTRACT PROGRAMS BY AUTOMATA AND PETRI NETS /
Autor: Taubner, Dirk A.
Vydáno: (1988)

Médiá prenosu informácií. Návody na cvičenia /
Autor: Hrnčiar, Fedor
Vydáno: (1993)

Fuzzy sets. Theory and applications /
Autor: Riečan, Beloslav 1936-
Vydáno: (1997)

Tools and algorithms for the construction and analysis of systems : Proceedings, Passau, Germany, March 27 - 29, 1996 /
Autor: Margaria, Tiziana
Vydáno: (1996)

Trends in control theory and applications /
Autor: Frankovič, Baltazár
Vydáno: (1998)

International computer performance and dependability symposium : proceedings, Erlangen, Germany, April 24 - 26, 1995 /
Autor: Levendel, Y.
Vydáno: (1995)

Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /
Autor: Padberg, J.
Vydáno: (1998)

Vybrané problémy simulačních modelů. 1. díl : 11. podzimní severomoravské kolokvium, Krnov, 5. - 7. 9. 1989 /
Autor: Kotva, Milan 1933-1994
Vydáno: (1989)

Distributed real-time systems. Monitoring, visualization, debugging, and analysis /
Autor: Tsai, Jeffrey J. P.
Vydáno: (1996)

Applied and computing mathematics. Vol. 1 : Proceedings of the 119th Pannonian applied mathematical meeting, Herľany, Oct., 23 - 26, 1997 /
Autor: Madarász, Ladislav
Vydáno: (1997)

From algebraic module specifications to component concepts and integrated modeling techniques /
Autor: Frantzen, Lars
Vydáno: (2001)

Entwurf neuronaler Netze. Ein datenbasiertes Verfahren zur Modellierung nichtlinearer Systeme mit Hilfe Evolutionärer Algorithmen und unscharfer Logik /
Autor: Wienholt, Willfried
Vydáno: (1996)