Book Details

Transactions on Petri Nets and Other Models of Concurrency I

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