Publication year: 2008
: 978-3-540-89287-8
It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; timed Petri nets; unfolding techniques and hardware systems. Thus, this volume gives a good overview of the state of the art in concurrency research.
: Computer Science, Programming Techniques, Theory of Computation, Models and Principles, Simulation and Modeling, Algorithm Analysis and Problem Complexity, Hardware, agent-oriented, colored petri nets, message sequence charts, model-based design, process algebra, process language, process mining, software engineering, visualization