30 treff

petri nets
Petri nets for systems engineering : a guide to modeling, verification, and applications
Claude Girault, Rüdiger Valk
Bok Engelsk 2003 · Vis mer
Petri nets for reliability modeling : (in the fields of engineering safety and dependability)
Winfrid G. Schneeweiss
Bok Engelsk 1999 · Vis mer
Petri nets, central models and their properties : proceedings of an advanced course, Bad Honnef, 8.-19. September 1986 /
edited by W. Brauer, W. Reisig and G. Roz...
Bok Engelsk 1987 · Vis mer
Coloured Petri Nets Modelling and Validation of Concurrent Systems
Jensen, Kurt. author.
Bok Engelsk 2009 · Vis mer
Unifying Petri nets : advances in Petri nets
Hartmut Ehrig ... [et al.] (eds.)
Bok Engelsk 2001 · Vis mer
Lectures on Petri nets : advances in Petri nets

Bok Engelsk 1998 · Vis mer
High-level Petri nets : theory and application
K. Jensen, G. Rozenberg (eds.)
Bok Engelsk 1991 · Vis mer
Stochastic Petri nets : modelling, stability, simulation
Peter J. Haas
Bok Engelsk 2002 · Vis mer
Free choice Petri nets
Jörg Desel, Javier Esparza
Bok Engelsk 1995 · Vis mer
Application of Petri nets to communication networks : advances in Petri nets
Jonathan Billington, Michel Diaz, Grzegor...
Bok Engelsk 1999 · Vis mer
The mathematics of Petri nets
Christophe Reutenauer ; translated by Iai...
Bok Engelsk 1990 · Vis mer
Lectures on concurrency and Petri nets : advances in Petri nets
Jörg Desel, Wolfgang Reisig, Grzegorz Roz...
Bok Engelsk 2004 · Vis mer
Application and theory of Petri nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992 : proceedings
International Conference on Application and Theory of Petri Nets
Bok Engelsk 1992 · Vis mer
Discrete, continuous, and hybrid Petri Nets
René David, Hassane Alla
Bok Engelsk 2005 · Vis mer
Advances in verification of time petri nets and timed automata : a temporal logic approach /
Wojciech Penczek, Agata Półrola.
Bok Engelsk 2006 · Vis mer
Modelling with generalized stochastic Petri nets
M. Ajmone Marsan ... [et al.]
Bok Engelsk 1995 · Vis mer
Concurrent object-oriented programming and Petri nets : advances in Petri nets
Gul A. Agha, Fiorella De Cindio, Grzegorz...
Bok Engelsk 2001 · Vis mer
Petri net technology for communication-based systems : advances in Petri nets
Hartmut Ehrig ... [et al.] (eds.)
Bok Engelsk 2003 · Vis mer
Modeling Business Processes : A Petri Net-Oriented Approach
van der Aalst, Wil M.P.
Bok Engelsk 2011 · Vis mer
Concurrency and hardware design : advances in Petri nets
Jordi Cortadella, Alex Yakovlev, Grzegorz...
Bok Engelsk 2002 · Vis mer
A primer in Petri net design
Wolfgang Reisig
Bok Engelsk 1992 · Vis mer
Petri net theory and the modeling of systems
James L. Peterson
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen : Technische Fachhochschule Berlin, 20.-22. September 1993
G. Scheschonk, W. Reisig (Hrsg.)
Bok Tysk 1993 · Vis mer
Petri net synthesis for discrete event control of manufacturing systems
by MengChu Zhou, Frank DiCesare
Bok Engelsk 1993 · Vis mer
Elements of distributed algorithms : modeling and analysis with Petri nets
Wolfgang Reisig
Bok Engelsk 1998 · Vis mer
Performance modelling with deterministic and stochastic Petri nets
Christoph Lindemann
Bok Engelsk 1998 · Vis mer
Performance analysis of communication systems : modeling with non-Markovian stochastic Petri nets
Reinhard German
Bok Engelsk 2000 · Vis mer
Modular construction and partial order semantics of Petri nets
W. Vogler
Bok Engelsk 1992 · Vis mer
Verifying temporal properties of systems
Bradfield, J. C.
Bok Engelsk · Vis mer