QR kód

Reachability analysis of systems based on Petri Nets /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Hudák, Štefan
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	Košice : Elfa, 1999
Vydanie:	1st ed.
Predmet:	diskrétny systém > informatika > kybernetika > teória automatov
ISBN:	8088964075
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Voprosy nadežnosti diskretnych avtomatov /
Autor: Francis, T. A.
Vydavateľské údaje: (1970)

Teorie automatů /
Autor: Bělohoubek, Pavel
Vydavateľské údaje: (1989)

Algebraická teória automatov. 1. diel : Návody na cvičenia /
Autor: Príkopa, Juraj
Vydavateľské údaje: (1988)

Teorie automatů /
Autor: Douša, Jiří
Vydavateľské údaje: (1987)

Algebraická teorie automatů /
Autor: Moisil, Gr. C.
Vydavateľské údaje: (1964)

Decomposition and protocols in high-level Petri nets /
Autor: Rambags, Paul Michel Peter
Vydavateľské údaje: (1994)

Teorija samovosproizvodjaščichsja avtomatov /
Autor: Von Neumann, John 1903-1957
Vydavateľské údaje: (1971)

Vvedenije v teoriju konečnych avtomatov /
Autor: Kobrinskij, Naman Jefimovič, a ďalší
Vydavateľské údaje: (1962)

Algebraic theory of automata /
Autor: Gécseg, F., a ďalší
Vydavateľské údaje: (1972)

A method for general simultaneous full decomposition of sequential machines. Algorithms and implementation /
Autor: Jóžwiak, L.
Vydavateľské údaje: (1992)

PETRI NETS /
Autor: Reisig, Wolfgang
Vydavateľské údaje: (1985)

Teorie automatů /
Autor: Prokeš, Josef 1922-
Vydavateľské údaje: (1976)

Očerki po matematičeskoj teorii sistem /
Autor: Kalman, R. E., a ďalší
Vydavateľské údaje: (2004)

Automatizace /
Autor: Švarc, Ivan
Vydavateľské údaje: (1995)

Petri net theory and the modeling of systems /
Autor: Peterson, James Lyle
Vydavateľské údaje: (1981)

Slova, která se hodí aneb jak si povídat o matematice, kybernetice a informatice /
Autor: Mareš, Milan 1943-
Vydavateľské údaje: (2006)

ADVANCES IN PETRI NETS. 1987 /
Autor: Girault, C.
Vydavateľské údaje: (1987)

ADVANCES IN PETRI NETS. 1985 /
Autor: Baumgarten, B.
Vydavateľské údaje: (1986)

Algebraically generalised Petri nets /
Autor: Juhás, Gabriel
Vydavateľské údaje: (1998)

Programové systémy /
Autor: Kokeš, Josef
Vydavateľské údaje: (2005)

In terms of nets. System design with Petri nets and process algebra /
Autor: Basten, Antonius André
Vydavateľské údaje: (1998)

Teorie diskrétních kódů /
Autor: Klika, Otakar, a ďalší
Vydavateľské údaje: (1968)

Kybernetika a informatika. Roč. 4. 1991. Č. 1/2 : 15. sympózium SKS s medzinár. účasťou, DVP Smolenice, apríl 1991 /
Autor: Antal, J.
Vydavateľské údaje: (1991)

AIS firmy /
Autor: Masár, Zdenko
Vydavateľské údaje: (1995)

Výchova inžinierov na FEI TU v Košiciach v študijnom odbore Riadiaca technika a automatizácia. História. Vývoj. Súčasnosť. Perspektívy : Zborník zo symp., Herľany, 12. - 13. 6. 1998 /
Autor: Madarász, Ladislav
Vydavateľské údaje: (1998)

Simulácia systémov - diskrétne systémy /
Autor: Šujanský, Milan
Vydavateľské údaje: (1987)

A primer in Petri net design /
Autor: Reisig, Wolfgang
Vydavateľské údaje: (1992)

STACS 93 : Proceedings, Würzburg, Germany, Febr. 25 - 27, 1993 /
Autor: Castellani, Ilaria
Vydavateľské údaje: (1993)

A STRUCTURING MECHANISM FOR PETRI NETS /
Autor: Kiehn, Astrid
Vydavateľské údaje: (1989)

Integrated information systems design. An approach based on object-oriented concepts and Petri nets /
Autor: Verkoulen, Peter Antonius Christiaan
Vydavateľské údaje: (1993)

Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /
Autor: Padberg, J.
Vydavateľské údaje: (1998)

Teoretické východiská technológie vzdelávania /
Autor: Frank, Helmar G.
Vydavateľské údaje: (1996)

Integrability of nonlinear systems /
Autor: Kosmann-Schwarzbach, Yvette
Vydavateľské údaje: (2004)

Wirtschaftsinformatik

Teória automatického riadenia. 2. diel : Diskrétne systémy /
Autor: Krokavec, Dušan, 1945-
Vydavateľské údaje: (1989)

Theory of sampled-data control systems /
Autor: Lindorff, David P.
Vydavateľské údaje: (1965)

Decision support systems : the international journal

Problems of control and information theory

Teorie systémů a kybernetika /
Autor: Křemen, Jaromír
Vydavateľské údaje: (1987)

Informacija : filosovskij analiz centraľnogo ponjatija kibernetiki /
Autor: Žukov, Nikolaj Ivanovič
Vydavateľské údaje: (1971)