Petri Nets

Focusing on the practical applications of net theory, this book explores foundational concepts and their interrelations, emphasizing the unique aspects that set nets apart from other system models, such as concurrency and resource limitations. It introduces fundamental ideas like 'condition' and 'event', illustrating their impact on state changes through examples. The axiomatic presentation aims to provide readers with a systematic understanding, equipping them to engage with existing net literature and applications in various fields.