9787030772848 (1 risultati)

- Brossura
Da: liu xing, Nanjing, JS, Cinaliu xing
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 125,93
EUR 15,61 spedizioneSpedito da Cina a U.S.A.Quantità: 3 disponibili
paperback. Condizione: 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.