9787030772848 (1 results)
- Softcover
Seller: liu xing, Nanjing, JS, Chinaliu xing
Contact seller5-star sellerCondition: New
US$ 141.00
US$ 18.00 shippingShips from China to U.S.A.Quantity: 3 available
paperback. Condition: New. Paperback. Pub Date: 2024-01 Pages: 198 Language: Chinese Publisher: Science Press Computational Tree Logic Model Detection Based on Petri Nets mainly introduces prototype Petri nets. knowledge Petri nets. and time Petri nets with priorities. It is suitable for abstract modeling at a certain level of f…inite-state concurrent system control flow. secure multi-party computing protocols. multi-processor preemptive real-time systems. etc. such as describing concurrency. selection. conflict. multi.
