Cover Image

QR Code

Petri nets fundamental models, verification and applications /

Saved in:

Bibliographic Details
Corporate Author:	ebrary, Inc
Other Authors:	Diaz, Michel, 1945-
Format:	Electronic eBook
Language:	English
Published:	London : Hoboken, NJ : ISTE ; John Wiley and Sons, 2009.
Subjects:	Electronic data processing > Distributed processing. Parallel processing (Electronic computers) System design. Petri nets. Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Analytical modelling in parallel and distributed computing /
by: Hanuliak, Peter, et al.
Published: (2014)

Modeling and optimization of parallel and distributed embedded systems /
by: Munir, Arslan, et al.
Published: (2016)

Tools and environments for parallel and distributed computing
by: Hariri, Salim
Published: (2004)

Practical parallel rendering
Published: (2002)

Advanced computational infrastructures for parallel and distributed adaptive applications
Published: (2010)

Biological petri nets
Published: (2011)

Systems dependability assessment : benefits of petri net models /
by: Aubry, Jean-François, et al.
Published: (2015)

The Linux Enterprise Cluster build a highly available cluster with commodity hardware and free software /
by: Kopper, Karl
Published: (2005)

Concurrent and distributed computing in Java
by: Garg, Vijay K. (Vijay Kumar), 1963-
Published: (2004)

Programming distributed computing systems a foundational approach /
by: Varela, Carlos A.
Published: (2013)

Oracle 10g RAC grid, services & clustering /
by: Vallath, Murali
Published: (2006)

Building dependable distributed systems /
by: Zhao, Wenbing, Ph.D
Published: (2014)

Nature-inspired optimization algorithms /
by: Yang, Xin-She
Published: (2014)

Spark : big data cluster computing in production /
by: Ganelin, Ilya
Published: (2016)

Property-preserving petri net process algebra in software engineering
by: Huang, Hejiao
Published: (2012)

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

Merging systems into a sysplex
Published: (2002)

Introduction to parallel computing /
Published: (2003)

Event management and best practices
Published: (2004)

Programming MapReduce with scalding : a practical guide to designing, testing, and implementing complex MapReduce applications in Scala /
by: Chalkiopoulos, Antonios
Published: (2014)

Implementing Cisco UCS Solutions /
by: Ahmed, Farhan A.
Published: (2013)

Fundamentals of computer organization and architecture
by: Abd-El-Barr, Mostafa, 1950-
Published: (2005)

Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by: Yoeli, Michael, 1917-
Published: (2008)

Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1988)

Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (2005)

Large scale network-centric distributed systems /
Published: (2014)

Parallel computing advances and current issues : proceedings of the international conference ParCo2001 /
Published: (2002)

Parallel computing : accelerating computational science and engineering (CSE) /
Published: (2014)

Force.com tips and tricks a quick reference guide for administrators and developers to get more productive with Force.com /
by: Arora, Ankit
Published: (2013)

Grid computing products and services
by: Ferreira, Luis
Published: (2005)

Proxmox high availability : introduce, design, and implement high availability clusters using Proxmox /
by: Cheng, Simon M. C.
Published: (2014)

Realizing teracomputing proceedings of the tenth ECMWF Workshop on the Use of High Performance Computing in Meteorology : Reading, UK, 4-8 November, 2002 /
Published: (2003)

Use of high performance computing in meteorology proceedings of the eleventh ECMWF Workshop on the Use of High Performance Computing in Meteorology : Reading, UK, 25-29 October 2004 /
Published: (2005)

Advanced computer architecture and parallel processing
by: El-Rewini, Hesham
Published: (2005)

CSM guide for the PSSP System Administrator
Published: (2003)

Transition from PSSP to cluster systems management (CSM)
Published: (2004)

Grid computing in research and education
Published: (2005)

IMS in Parallel Sysplex.
by: Jäntti, Jouko
Published: (2003)

IMS in the Parallel Sysplex.
Published: (2003)

Event processing for business organizing the real time strategy enterprise /
by: Luckham, David C.
Published: (2012)