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

|Jan 2025

E-Book €36.99Institutions €151.95

E-Book €36.99Institutions €151.95

Authors

Wojnakowski, Marcin

reference-global.com Google Scholar

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

Publisher: Bentham Science

Publication date: 2025

Language: English

Pages: 159

Related subjects:

Introductions and overviews,

Engineering, other

People also read

Formal Methods for Safe Autonomy

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

Formal Methods for Safe Autonomy

Computer Systems Fundamentals

Computer Systems Fundamentals

Michael Kirkpatrick

Multicore Hardware-Software Design and Verification Techniques

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

Multicore Hardware-Software Design and Verification Techniques

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

Concurrency:

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

Concurrency:

Discrete Structure and Automata Theory for Learners

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

Discrete Structure and Automata Theory for Learners

Sukhpreet Kaur Gill

Control System Design

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

Control System Design

Securing Industrial Control Systems and Safety Instrumented Systems

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

Securing Industrial Control Systems and Safety Instrumented Systems

Jalal Bouhdada, Marco Ayala

Formal Language

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

Formal Language

Adam Brooks Webber

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

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

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

Cyber Physical Systems - Advances and Applications

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

Cyber Physical Systems - Advances and Applications

Anitha K. Kumari, Avinash Sharma