Petri Nets

Chapter 1 Elementary Net Systems.- Chapter 2 Structural Characteristics of Petri Nets.- Chapter 3 Petri Nets with Special Structures.- Chapter 4 Petri Nets Modeling Massage Passing and Resource.- Chapter 5 Verifying Computation Tree Logic Based on Petri Nets.- Chapter 6 Knowledge-oriented Petri Nets and Computation Tree Logic of Knowledge.- Chapter 7 Petri Nets with Insecure Places and Secure Bisimulation.- Chapter 8 Time Petri Nets and Time-soundness.- Chapter 9 Timed Computation Tree Logic and Plain Time Petri Nets with Priorities.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia do software
• Teoria matemática da computação
• Matemática para cientistas da computação
• A matemática discreta

Petri nets;time Petri nets;computation tree logic (CTL);timed computation tree logic (TCTL);computation tree logic of knowledge (CTLK);reduced ordered binary decision diagram (ROBDD);concurrency; model checking;bisimulation;real-time concurrent systems