Advances in Control Theory and Applications
This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at ...
Lee mas
Advances in Verification of Time Petri Nets and Timed Automata
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Lee mas
Application and Theory of Petri Nets 2002
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
Lee mas
Applications and Theory of Petri Nets 2005
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Lee mas
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Lee mas
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lee mas
Discrete, Continuous, and Hybrid Petri Nets
The book is a scientific monograph as well as a didactic tutorial which is easy to understand due to many exercises with ...
Lee masDynamic Analysis of Petri Net-Based Discrete Systems
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For ...
Lee masDynamic Programming
This book provides a practical introduction to computationally solving discrete optimization problems using dynamic programming. ...
Lee mas
Formal Techniques for Networked and Distributed Systems - FORTE 2006
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for ...
Lee mas
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
This book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
Lee mas
Foundations of Software Science and Computation Structures
This volume contains the papers presented at the 21st International Conference on Foundations of Software Science and Computation ...
Lee mas
Graph Transformation : 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in ...
Lee mas
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Lee mas
Max-Plus Linear Stochastic Systems and Perturbation Analysis
This book provides a thorough treatment of the theory of stochastic max-plus linear systems. Max-plus algebra is an algebraic ...
Lee masModelling and Analysis of Hybrid Supervisory Systems
Modelling and Analysis of Hybrid Supervisory Systems introduces a modelling formalism that merges Petri nets, differential ...
Lee mas
Multiagent System Technologies : 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th German Conference on Multiagent Systems Technologies, MATES 2008, ...
Lee mas
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Lee mas
Parallel and Distributed Logic Programming
The book Parallel and Distributed Logic Programming provides a clear introduction to parallel and distributed approach to ...
Lee mas
Petri Nets and Other Models of Concurrency - ICATPN 2006
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...
Lee mas
