QR-Code

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 /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jensen, Kurt
Körperschaft:	Proceedings of an advanced course
Weitere Verfasser:	Braver, W. (HerausgeberIn), Reisig, W., Rozenberg, G.
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1987
Schriftenreihe:	Lecture notes in computer science Vol. 255
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

PETRI NETS. CENTRAL MODELS AND THEIR PROPERTIES : Proceedings, Bad Honnef, Sept. 1986 /
von: Petri, Carl Adam
Veröffentlicht: (1987)

PETRI NETS /
von: Reisig, Wolfgang
Veröffentlicht: (1985)

ADVANCES IN PETRI NETS. 1987 /
von: Girault, C.
Veröffentlicht: (1987)

ADVANCES IN PETRI NETS. 1985 /
von: Baumgarten, B.
Veröffentlicht: (1986)

Petri net theory and the modeling of systems /
von: Peterson, James Lyle
Veröffentlicht: (1981)

Algebraically generalised Petri nets /
von: Juhás, Gabriel
Veröffentlicht: (1998)

A STRUCTURING MECHANISM FOR PETRI NETS /
von: Kiehn, Astrid
Veröffentlicht: (1989)

A primer in Petri net design /
von: Reisig, Wolfgang
Veröffentlicht: (1992)

In terms of nets. System design with Petri nets and process algebra /
von: Basten, Antonius André
Veröffentlicht: (1998)

Decomposition and protocols in high-level Petri nets /
von: Rambags, Paul Michel Peter
Veröffentlicht: (1994)

Reachability analysis of systems based on Petri Nets /
von: Hudák, Štefan
Veröffentlicht: (1999)

Applications and theory of Petri nets : 3rd European Workshop, Varenna, Italy, 27. - 30. 9. 1982 /
von: Petri, C. A.
Veröffentlicht: (1983)

THE FINITE REPRESENTATION OF ABSTRACT PROGRAMS BY AUTOMATA AND PETRI NETS /
von: Taubner, Dirk A.
Veröffentlicht: (1988)

Application and theory of Petri nets. 1996 : Proceedings, Osaka, Japan, June 24 - 28, 1996 /
von: Billington, Jonathan
Veröffentlicht: (1996)

Refinement versus verification. Compatibility of net invariants and stepwise development of high-level Petri Nets /
von: Padberg, J.
Veröffentlicht: (1998)

Integrated information systems design. An approach based on object-oriented concepts and Petri nets /
von: Verkoulen, Peter Antonius Christiaan
Veröffentlicht: (1993)

PETRI-NETZE IN DER STEUERUNGSTECHNIK /
von: König, Rainer
Veröffentlicht: (1988)

Net theory and applications : Advanced course of general net theory of processes and systems, Hamburg, 8. - 19. 10. 1979 /
von: Petri, C. A.
Veröffentlicht: (1980)

TEORIJA SETEJ PETRI I MODELIROVANIJE SISTEM /
von: Peterson, James Lyle
Veröffentlicht: (1984)

The NET /
von: Rosa, Zdeněk
Veröffentlicht: (1991)

Net Theory and applications : proceedings of the Advanced course on general net theory of processes and systems, Hamburg, October 8-19, 1979 /
von: Petri, C. A.
Veröffentlicht: (1980)

DIALOG-ORIENTIERTES GRAPHISCHES PETRI-NETZ- ENTWICKLUNGSSYSTEM : Diogenes /
von: Kaltwasser, J.
Veröffentlicht: (1987)

Mastering ASP.NET with VB.NET /
von: Jones, A. Russell
Veröffentlicht: (2002)

Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen /
von: Leszak, Marek
Veröffentlicht: (1989)

net : Zeitschrift für Kommunikationsmanagement

netWorker
Veröffentlicht: (2003)

Seti PETRI, paralleľnyje algoritmy i modeli muľtiprocessornych sistem /
von: Vasiľjev, Vsevolod Viktorovič
Veröffentlicht: (1990)

Příručka systému Novell SFT/Advanced NetWare /
von: Pospíšil, Josef
Veröffentlicht: (1991)

Vlaky.net : 10 rokov /
von: Guspan, Marek L., et al.
Veröffentlicht: (2014)

Modelling of concurrent systems /
von: Juhás, Gabriel
Veröffentlicht: (2015)

ASP.NET a ADO.NET 2.0 : hotová řešení /
von: Lacko, Ľuboslav, 1965-
Veröffentlicht: (2006)

NetWare security /
von: Steen, William
Veröffentlicht: (1996)

Programování pro .NET /
von: Virius, Miroslav 1953-
Veröffentlicht: (2011)

Net social expenditure /
von: Adema, Willem
Veröffentlicht: (1999)

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

CARTO-NET : networking map catalogue records /
von: Morris, Barbara
Veröffentlicht: (1988)

ERA-NET : networking the European Research Area /
Veröffentlicht: (2010)

Programování v Microsoft.NET : webové aplikace v .NET Framework, C# a ASP.NET /
von: Prosise, Jeff
Veröffentlicht: (2003)

ASP.NET a ADO.NET. Tvorba dynamických webových stránek /
von: Esposito, Dino
Veröffentlicht: (2003)

Websprache.net : Sprache und Kommunikation im Internet /
von: Siever, Torsten, et al.
Veröffentlicht: (2005)