Isbn: 9787030772848 (1 Ergebnisse)

paperback. Zustand: 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 finite-state concurrent system control flow. secure multi-party computing protocols. multi-processor preemptive real-time systems. etc. such as describing concurrency. selection. conflict. multi.…