1 option
Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems.
- Format:
- Book
- Author/Creator:
- Wojnakowski, Marcin.
- Language:
- English
- Subjects (All):
- Petri nets.
- Reliability (Engineering).
- Physical Description:
- 1 online resource (0 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Sharjah : Bentham Science Publishers, 2025.
- Summary:
- Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems provides a comprehensive study of concurrent control systems using Petri net models, with a focus on boundedness and safeness analysis. Designed for both academic and industry professionals, it bridges the gap between theoretical rigor and practical applications, offering essential insights for advancing knowledge in the field. The content covers foundational principles of control systems and Petri nets before exploring advanced analysis techniques. Topics include algorithms, computational complexity, and different Petri net classes. The book also addresses boundedness and safeness properties, presenting verification methods, case studies, and experimental results. Trends, challenges, and future directions are also discussed in the book equipping readers with practical tools to innovate in concurrent system design. Key Features: - In-depth coverage of Petri net-based concurrent system modeling and analysis. - Clear explanations supported by real-world examples and case studies. - A balanced approach combining theory and application.
- Contents:
- Cover
- Title
- Copyright
- End User License Agreement
- Contents
- Foreword
- Preface
- Dedication
- Acknowledgements
- Control Systems
- Theoretical Aspects of Petri Nets
- Boundedness and Safeness
- Methods of Analyzing Boundedness and Safeness
- Experimental Verification of the Proposed Methods
- Effective and Efficient Analysis of Boundedness and Safeness - Case Study
- Appendix A
- Acronyms
- Subject Index
- Back Cover Generated by AI.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Part of the metadata in this record was created by AI, based on the text of the resource.
- Other Format:
- Print version: Wojnakowski, Marcin Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems
- ISBN:
- 9789815322705
- OCLC:
- 1528358469
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.