Hartmut Ehrig & Wolfgang Reisig 
Petri Net Technology for Communication-Based Systems [PDF ebook] 
Advances in Petri Nets

Sojourns and Extremes of Stochastic Processes is a research monograph in the area of probability theory. During the past thirty years Berman has made many contributions to the theory of the extreme v …

This book focuses on the role of modeling in the design of alloys and intermetallic compounds. It includes an introduction to the most important and most used modeling techniques, such as CALPHAD and …

A comprehensive overview of nonlinear H∞ control theory for both continuous-time and discrete-time systems, Nonlinear H∞-Control, Hamiltonian Systems and Hamilton-Jacobi Equations covers topics as di …

Geometry is a hands-on subject. What better way to explore the concepts of area, perimeter, and volume than actually measuring area, perimeter, and volume? With this helpful resource, you will build …

These notes are based on the course of lectures I gave at Harvard in the fall of 1964. They constitute a self-contained account of vector bundles and K-theory assuming only the rudiments of point-set …

Computational Physics is designed to provide direct experience in the computer modeling of physical systems. Its scope includes the essential numerical techniques needed to ‘do physics’ on a computer …

Great first book on algebraic topology. Introduces (co)homology through singular theory. …

Uses state-of-the-art computer technology to formulate displacement method with matrix algebra. Facilitates analysis of structural dynamics and applications to earthquake engineering and UBC and IBC …

Functions as a self-study guide for engineers and as a textbook for nonengineering students and engineering students, emphasizing generic forms of differential equations, applying approximate solutio …

Simulating blood cells for biomedical applications is a challenging goal. Whether you want to investigate blood flow behavior on the cell scale, or use a blood cell model for fast computational proto …