Skip to main content

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems Cover

Analysis of Boundedness and Safeness in a Petri Net-Based Specification of Concurrent Control Systems

Publisher:Bentham Science

By: Marcin Wojnakowski

Paid access

|Jun 2025

E-Book €36.99Institutions €151.95

E-Book €36.99Institutions €151.95

Metrics

PDF ISBN: 978-981-5322-70-5

Publisher: Bentham Science

Copyright owner: © 2025 Bentham Science Publishers

Publication date: 2025

Language: English

Pages: 159

Related subjects:

Introductions and overviews,

Engineering, other

People also read

.blurhash-client-img { display: none !important; }

Formal Methods for Safe Autonomy

.blurhash-client-img { display: none !important; }

Multicore Hardware-Software Design and Verification Techniques

Pao-Ann Hsiung, Yean-Ru Chen, Chao-Sheng Lin

Computer Systems Fundamentals

.blurhash-client-img { display: none !important; }

Concurrency:

.blurhash-client-img { display: none !important; }

Durable Ideas in Software Engineering: ConceptsMethods and Approaches from My Virtual Toolbox

.blurhash-client-img { display: none !important; }

Principles of Automation and Control

.blurhash-client-img { display: none !important; }

Cyber Physical Systems - Advances and Applications

Anitha K. Kumari, Avinash Sharma

.blurhash-client-img { display: none !important; }

Formal Language

Adam Brooks Webber

.blurhash-client-img { display: none !important; }

Formal Verification of Just-in-Time Compilation

Aurèle Barrière

.blurhash-client-img { display: none !important; }

Intelligent Computational Systems: A Multi-Disciplinary Perspective

Faria Nassiri Mofakham