Petri Nets and Other Models of Concurrency - ICATPN 2007
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...
Lire la suite
Socionics
This book includes contributions from an interdisciplinary field of research we call Socionics. Based on a close cooperation ...
Lire la suite
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing ...
Lire la suite
Supervisory Control of Concurrent Systems
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
Lire la suite
Transactions on Petri Nets and Other Models of Concurrency I
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suite
Web Services and Formal Methods
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suite
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...
Lire la suite
