Free Choice Petri Nets

Discover the fascinating world of concurrent systems with Free Choice Petri Nets by Jorg Desel, published by Cambridge University Press in 2005. This comprehensive guide spans 256 pages and offers a clear and structured approach to understanding Petri nets, a powerful formal model for system analysis and modeling.

In this insightful book, every concept is meticulously explained, ensuring readers grasp essential topics such as place invariants, siphons, traps, and other crucial analysis techniques. Whether you are a student, researcher, or professional in the field of computer science, this text serves as an invaluable resource that blends mathematical logic with practical applications.

Enhance your knowledge and skills in programming, software development, and parallel processing with Free Choice Petri Nets. Dive into this essential reference for anyone interested in the mathematical theory of computation and graphic methods.