Petri nets fundamental models, verification and applications

Petri nets fundamental models, verification and applications

Saved in:

Bibliographic Details
Other Authors:	Diaz, Michel 1945-
Format:	Book
Published:	London ISTE/Wiley 2009
Series:	Control systems, robotics and manufacturing series
Subjects:	Petri nets System design > Distributed processing Parallel processing (Electronic computers) Electronic data processing > Distributed processing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Concurrent object-oriented programming and Petri nets advances in petri nets
Published: (2001)

Modeling and simulation of distributed systems
by: Kostin, Alexander
Published: (2010)

Coloured petri nets modeling and validation of concurrent systems
by: Jensen, K. 1950- Kurt
Published: (2009)

Discrete, continuous, and hybrid Petri Nets
by: David, Rene 1939-
Published: (2010)

Dynamic analysis of Petri net-based discrete systems
by: Karatkevich, Andrei
Published: (2007)

Parallel and distributed computing a survey of models, paradigms and approaches
by: Leopold, Claudia 1966-
Published: (2001)

Explorations in parallel distributed processing a handbook of models, programs, and exercises
by: McClelland, James L
Published: (1988)

An Introduction to distributed and parallel computing
by: Crichlow, Joel M
Published: (1997)

Principles of concurrent and distributed programming
by: Ben-Ari, M. 1948-
Published: (2006)

Quantitative methods in parallel systems
Published: (1995)

Parallel and distributed computing handbook
Published: (1996)

An introduction to distributed and parallel processing
by: Sharp, J. A. 1955- (John A.)
Published: (1987)

Patterns and skeletons for parallel and distributed computing
Published: (2003)

An introduction to distributed and parallel computing
by: Crichlow, Joel M. 1948-
Published: (1987)

Principles of concurrent and distributed programming
by: Ben-Ari, M. 1948-
Published: (1990)

Petri nets for systems engineering a guide to modeling, verification, and applications
by: Girault, Claude, et al.
Published: (2003)

Quality of communication-based systems proceedings of the ... held September 1994
Published: (1995)

Petri nets and Grafcet tools for modelling discrete event systems
by: David, Rene 1939-
Published: (1992)

Application and theory of Petri nets 2000 proceedings of the...held June 26 - 30, 2000
Published: (2000)

How to build a Beowulf a guide to the implementation and application of PC clusters
Published: (1999)

Building distributed applications with visual basic.net
by: Fox, Dan
Published: (2002)

Computer science reconsidered the invocation model of process expression
by: Fant, Karl M.
Published: (2007)

Perspectives in concurrency theory a festschrift for P. S. Thiagarajan
Published: (2009)

Process algebra for parallel and distributed processing
Published: (2009)

Operating Systems Concurrent and Distributed Software Design
by: Bacon, Jean 1942-, et al.
Published: (2003)

Advances in distributed and parallel knowledge discovery
Published: (2000)

Concurrent information processing and computing
Published: (2005)

Microsoft .Net remoting
by: McLean, Scott
Published: (2003)

Distributed computing and the mainframe leveraging your investments
by: Ziegler, Kurt 1947-
Published: (1991)

Guide to writing DCE applications
by: Shirley, John
Published: (1994)

Distributing applications across DCE and Windows NT
by: Rosenberry, Ward
Published: (1993)

Distributed and parallel systems in focus : desktop grid computing
Published: (2008)

High performance computing paradigm and infrastructure
Published: (2006)

Distributed computing fundamentals, simulations, and advanced topics
by: Attiya, Hagit

Distributed Systems An Algorithmic Approach
by: Ghosh, Sukumar
Published: (2007)

Distributed computing principles and applications
by: Liu, M. L (Mei-Ling L.)
Published: (2004)

DISTRIBUTED AND PARALLEL EMBEDDED SYSTEM
Published: (1999)

Foundations of multihreaded, parallel, and distributed programming
by: Andrews, Gregory R.
Published: (2000)

Distributed systems principles and paradigms
by: Tanenbaum, Andrew S. 1944-
Published: (2002)

DISTRIBUTED SYSTEMS Principles and Paradigms
by: Tanenbaum, Andrew S. 1944-, et al.
Published: (2007)