Dynamic Analysis of Petri Net-Based Discrete Systems

From the reviews:

"The book ‘Dynamic Analysis of Petri Net-Based Discrete Systems’ is dedicated to the behavioral properties analysis of parallel discrete systems using the partial state space approach. … Appendix presents some additional results partially outside the book main topic, where the most interesting is the improved method for generation of prime implicants of Boolean functions. The book may be useful for researchers and engineers, including graduate students, interesting in the computer-aided design of logical control devices." (Krzysztof Galkowski, Zentralblatt MATH, Vol. 1121 (23), 2007)