Multi-Robot system environmental constraint analysis by petri nets

Software & Systems Modeling 2026

View at publisher
Authors: Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, Nabendu Chaki
DOI: 10.1007/s10270-026-01379-5
Cited by: 1
References: 41

Fields of Study & Subjects

Formal Methods in Verification Robotic Path Planning Algorithms Petri Nets in System Modeling

Publication details

Journal / source
Software & Systems Modeling
Publisher
Springer Science and Business Media LLC
Publication date
10 April 2026
Language
EN