QR Code

PETRI NETS. CENTRAL MODELS AND THEIR PROPERTIES : Proceedings, Bad Honnef, Sept. 1986 /

Saved in:

Bibliographic Details
Main Author:	Petri, Carl Adam
Corporate Author:	Proceedings Bad Honnef
Other Authors:	Brauer, W. (Editor), Reisig, W., Rozenberg, G.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin : Springer, 1987
Series:	ADVANCES in Petri Nets Part 1
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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 /
by: Jensen, Kurt
Published: (1987)

PETRI NETS /
by: Reisig, Wolfgang
Published: (1985)

Petri net theory and the modeling of systems /
by: Peterson, James Lyle
Published: (1981)

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

ADVANCES IN PETRI NETS. 1987 /
by: Girault, C.
Published: (1987)

ADVANCES IN PETRI NETS. 1985 /
by: Baumgarten, B.
Published: (1986)

Algebraically generalised Petri nets /
by: Juhás, Gabriel
Published: (1998)

A primer in Petri net design /
by: Reisig, Wolfgang
Published: (1992)

A STRUCTURING MECHANISM FOR PETRI NETS /
by: Kiehn, Astrid
Published: (1989)

In terms of nets. System design with Petri nets and process algebra /
by: Basten, Antonius André
Published: (1998)

Decomposition and protocols in high-level Petri nets /
by: Rambags, Paul Michel Peter
Published: (1994)

Reachability analysis of systems based on Petri Nets /
by: Hudák, Štefan
Published: (1999)

Application and theory of Petri nets. 1996 : Proceedings, Osaka, Japan, June 24 - 28, 1996 /
by: Billington, Jonathan
Published: (1996)

THE FINITE REPRESENTATION OF ABSTRACT PROGRAMS BY AUTOMATA AND PETRI NETS /
by: Taubner, Dirk A.
Published: (1988)

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

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

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

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

PETRI-NETZE IN DER STEUERUNGSTECHNIK /
by: König, Rainer
Published: (1988)

PADÉ APPROXIMATION AND ITS APPLICATIONS. BAD HONNEF 1983 : Proceedings of a conference, Bad Honnef, Germany, March 7 - 10, 1983 /
by: Brezinski, Claude
Published: (1984)

TEORIJA SETEJ PETRI I MODELIROVANIJE SISTEM /
by: Peterson, James Lyle
Published: (1984)

The NET /
by: Rosa, Zdeněk
Published: (1991)

DIALOG-ORIENTIERTES GRAPHISCHES PETRI-NETZ- ENTWICKLUNGSSYSTEM : Diogenes /
by: Kaltwasser, J.
Published: (1987)

Mastering ASP.NET with VB.NET /
by: Jones, A. Russell
Published: (2002)

Atomistic modeling of physical properties /
by: Monnerie, L.
Published: (1994)

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

netWorker
Published: (2003)

net : Zeitschrift für Kommunikationsmanagement

Seti PETRI, paralleľnyje algoritmy i modeli muľtiprocessornych sistem /
by: Vasiľjev, Vsevolod Viktorovič
Published: (1990)

SOME PROPERTIES OF THE LANGEVIN MODEL FOR DISPERSION /
by: Baas, Anne F. de
Published: (1988)

Vlaky.net : 10 rokov /
by: Guspan, Marek L., et al.
Published: (2014)

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

NetWare security /
by: Steen, William
Published: (1996)

Net social expenditure /
by: Adema, Willem
Published: (1999)

Pro Entity Framework Core 2 for ASP.NET Core MVC
by: Freeman, Adam
Published: (2018)

Programování pro .NET /
by: Virius, Miroslav 1953-
Published: (2011)

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

The central dose register for the nuclear industry in Sweden : open research document /
by: Widell, Carl-Olof
Published: (1978)

CARTO-NET : networking map catalogue records /
by: Morris, Barbara
Published: (1988)

ERA-NET : networking the European Research Area /
Published: (2010)