We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£83.15
Springer - Petri Nets: Theoretical Models and Analysis Methods
Price data last checked 14 day(s) ago - will refresh soon
Price History & Forecast
Last 77 days • 77 data points (No recent data available)
Price Distribution
Price distribution over 77 days • 5 price levels
Price Analysis
Most common price: £140 (25 days, 32.5%)
Price range: £83 - £140
Price levels: 5 different prices over 77 days
Description
Key Features
Comprehensive coverage of Petri net theory including interleaving and concurrency semantics for elementary net systems.
Detailed analysis of important net structures such as invariants, repetitive vectors, siphons, and traps.
Exploration of classical net subclasses including state machines, marked graphs, and free-choice nets.
In-depth study of essential system properties like reachability, liveness, deadlock, and soundness.
Instruction on Petri net-based model checking methods to assist in the analysis of concurrent systems.
Technical insights into various net types such as asymmetric-choice, normal, and weakly persistent nets.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 9811963088
- Domain
- Amazon UK
- Release Date
- 04 November 2022
- Listed Since
- 28 July 2022
Barcode
No barcode data available
Similar Products You Might Like
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Springer
Petri Net Synthesis (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Timed Petri Nets: Theory and Application: 9 (The International Series on Discrete Event Dynamic Systems, 9)
Springer
Discrete, Continuous, and Hybrid Petri Nets
Springer
System Modeling and Control with Resource-Oriented Petri Nets: 35 (Automation and Control Engineering)
CRC Press
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
Birkhauser
Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Birkhauser
Systems Dependability Assessment: Benefits of Petri Net Models: 1 (Systems and Industrial Engineering)
Wiley
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
Principles of Model Checking
MIT Press
Colored Petri Nets for Modeling of Discrete Systems: A Practical Approach With GPenSIM (Asset Analytics)
Springer
Petri Net Synthesis for Discrete Event Control of Manufacturing Systems: 204 (The Springer International Series in Engineering and Computer Science, 204)
Springer
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)
Springer
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach (Advances in Industrial Control)
Springer
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Springer
Clans of Petri Nets: Verification of protocols and performance evaluation of networks
LAP Lambert Academic Publishing
Supervision of Petri Nets: 13 (The International Series on Discrete Event Dynamic Systems, 13)
Springer
Springer Coloured Petri Nets Volume 1 - Computer Science Book
Springer
Petri Nets in Flexible and Agile Automation: 310 (The Springer International Series in Engineering and Computer Science, 310)
Springer
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ... 1981: 52 (Informatik-Fachberichte, 52)
Springer
Design of Reconfigurable Logic Controllers: 45 (Studies in Systems, Decision and Control)
Springer
Deadlock Resolution in Computer-Integrated Systems
CRC Press