When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Symbolic Coloring of Petri Nets. - Modular Synthesis of Petri Nets. - Architectural Synthesis of Petri Nets. - Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model. The book presents acomprehensive selection of possible design techniques.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.