QR kód

Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Padberg, J.
Další autoři:	Gajewsky, M., Ermel, C.
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Technická univerzita, [1998]
Edice:	Forschungsberichte des Fachbereichs Informatik Bericht-Nr. 97-22
Témata:	distribuovaný systém výskumné správy
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

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

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

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

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

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

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

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

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

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

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)

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

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

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)

Application and theory of Petri nets. 1996 : Proceedings, Osaka, Japan, June 24 - 28, 1996 /
Autor: Billington, Jonathan
Vydáno: (1996)

The NET /
Autor: Rosa, Zdeněk
Vydáno: (1991)

Mastering ASP.NET with VB.NET /
Autor: Jones, A. Russell
Vydáno: (2002)

net : Zeitschrift für Kommunikationsmanagement

netWorker
Vydáno: (2003)

.NET 4 for enterprise architects and developers /
Autor: Hate, Sudhanshu
Vydáno: (2012)

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

Vlaky.net : 10 rokov /
Autor: Guspan, Marek L., a další
Vydáno: (2014)

ASP.NET a ADO.NET 2.0 : hotová řešení /
Autor: Lacko, Ľuboslav, 1965-
Vydáno: (2006)

Engaging with high net worth individuals on tax compliance.
Vydáno: (2009)

NetWare security /
Autor: Steen, William
Vydáno: (1996)

Programování pro .NET /
Autor: Virius, Miroslav 1953-
Vydáno: (2011)

Net social expenditure /
Autor: Adema, Willem
Vydáno: (1999)

net : nachrichten Elektronik plus Telematik, Zeitschrift für angewandte Telekommunikation

Calculation of the gamma radiation levels in and around the Net-DN Tokamak reactor /
Autor: Hojerup, C. F.
Vydáno: (1989)

CARTO-NET : networking map catalogue records /
Autor: Morris, Barbara
Vydáno: (1988)

ERA-NET : networking the European Research Area /
Vydáno: (2010)

Programování v Microsoft.NET : webové aplikace v .NET Framework, C# a ASP.NET /
Autor: Prosise, Jeff
Vydáno: (2003)

ASP.NET a ADO.NET. Tvorba dynamických webových stránek /
Autor: Esposito, Dino
Vydáno: (2003)

Websprache.net : Sprache und Kommunikation im Internet /
Autor: Siever, Torsten, a další
Vydáno: (2005)

Novell NetWare 386 /
Autor: Křesťan, Aleš
Vydáno: (1992)

Novell NetWare 5 /
Autor: Čečelský, David
Vydáno: (1999)

Visual Basic.NET. Complete /
Autor: Tagliaferri, Matt
Vydáno: (2002)

Úvod do .NET Framework /
Autor: Pokorný, Jan
Vydáno: (2002)

Monitorovací software NET-G.
Vydáno: (2010)

.NET Framework. Programování aplikací /
Autor: Richter, Jeffrey
Vydáno: (2003)