Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems
This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantic…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-6309-4
- Collation
- xi, 279p.: Ill
- Series Title
- -
- Call Number
- 005.11 Liu p
Search Result
Found 1 from your keywords: Author : "Liu, Guanjun"
Query took 0.00056 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography