Sort by:
Hardcover
Usually ships within 24 hours
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language ... More
Hardcover - REV
Usually ships within 24 hours
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language ... More
Hardcover
Usually ships within 24 hours
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language ... More
Hardcover
Usually ships within 24 hours
Driven by the request for increased productivity, flexibility, and competitiveness, increasingly modern civilization has created high-performance discrete event dynamic ... More
Paperback
Usually ships within 24 hours
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or ... More
Hardcover
Usually ships within 24 hours
As an overview of fundamental modelling, stability, convergence, and estimation issues for discrete-event systems, this book will be of interest to researchers and graduate ... More
Hardcover
Usually ships within 24 hours
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some ... More
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000. ... More
Paperback
Usually ships within 24 hours
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. ... More
Paperback
Usually ships within 24 hours
This book constitutes the refereed proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN 2004, held in Bologna, Italy in June 2004. ... More
Sort by: