Formal Modeling and Verification of an Autonomous Irrigation System Using Petri Nets

2026

View at publisher
Authors: Vaishnav Krishna P
DOI: 10.13140/rg.2.2.20960.75520
Cited by: 0

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Business Process Modeling and Analysis

Publication details

Publication date
1 January 2026
Language
EN