Guanjun Liu's Books

Petri Nets

Theoretical Models and Analysis Methods for Concurrent Systems

By: Guanjun Liu

Write a review Read reviews Take a Quiz Solve Book Puzzle

Petri Nets

Theoretical Models and Analysis Methods for Concurrent Systems

By: Guanjun Liu

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 semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places, both of which are based on the bisimulation theory. As such, it offers an introduction to basic information on bisimulation theory.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

285

Publisher

Springer Nature

Published Date

ISBN 10

9811963096

ISBN 13

9789811963094

Great Dragon Fantasy, The: A Lacanian Analysis Of Contemporary Chinese Thought

By: Guanjun Wu

Write a review Read reviews Take a Quiz Solve Book Puzzle

Great Dragon Fantasy, The: A Lacanian Analysis Of Contemporary Chinese Thought

By: Guanjun Wu

China has undergone a unique path of development in the post-Maoist era. Especially, the last decade witnessed China's rapid rise to economic wealth and superpower status vis-à-vis the severe developmental predicaments of the West (financial crises, socio-political turbulences, etc.). This book analyzes how the leading Chinese thinkers understand China's prosperity and rapid development today, and whether there is any hidden mechanism that has been playing a crucial role of forming contemporary Chinese thinkers' shared passionate endeavor of resuscitating classical Chinese ideas, and thus shows how the fervor for discovering “essential characteristics” of Chinese thought reveals a hidden psychological mechanism.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

417

Publisher

World Scientific

Published Date

ISBN 10

9814417939

ISBN 13

9789814417938

The Great Dragon Fantasy

A Lacanian Analysis of Contemporary Chinese Thought

By: Guanjun Wu

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Great Dragon Fantasy

A Lacanian Analysis of Contemporary Chinese Thought

By: Guanjun Wu

China has undergone a unique path of development in the post-Maoist era. Especially, the last decade witnessed China''s rapid rise to economic wealth and superpower status vis-a-vis the severe developmental predicaments of the West (financial crises, socio-political turbulences, etc.). This book analyzes how the leading Chinese thinkers understand China''s prosperity and rapid development today, and whether there is any hidden mechanism that has been playing a crucial role of forming contemporary Chinese thinkers'' shared passionate endeavor of resuscitating classical Chinese ideas, and thus shows how the fervor for discovering OC essential characteristicsOCO of Chinese thought reveals a hidden psychological mechanism. Contents: The Fantasmatic Narrative of Contemporary Chinese Thought; OC Descendants of a Blurry-Eyed DragonOCO New Enlightenment as Modernization; OC TraumaticOCO Encounters with Postmodernism; Liberals and New Leftists as OC Discursive EnemiesOCO China''s New Nationalism and Its Obscene Core; Traversing the Fantasmatic Past and Future. Readership: Academics, professionals, Sinologists, advanced undergraduate and graduate students interested in China studies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

417

Publisher

World Scientific

Published Date

ISBN 10

9814417920

ISBN 13

9789814417921

Petri Nets

Theoretical Models and Analysis Methods for Concurrent Systems

By: Guanjun Liu

Write a review Read reviews Take a Quiz Solve Book Puzzle

Petri Nets

Theoretical Models and Analysis Methods for Concurrent Systems

By: Guanjun Liu

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

285

Publisher

Springer Nature

Published Date

ISBN 10

9811963096

ISBN 13

9789811963094

Book's by Guanjun Liu

Petri Nets

Petri Nets

Great Dragon Fantasy, The: A Lacanian Analysis Of Contemporary Chinese Thought

Great Dragon Fantasy, The: A Lacanian Analysis Of Contemporary Chinese Thought

The Great Dragon Fantasy

The Great Dragon Fantasy

Petri Nets

Petri Nets

Username

Password

Username

Password

Password again

Birthday

Email