Sammanfattning av denna webbsida: En aktuell trend i utvecklingen och genomförandet av industriella tillämpningar är att använda trådlösa nätverk för att kommunicera systemnoder, främst för att öka applikationsflexibilitet, tillförlitlighet och portabilitet, samt för att minska genomförandekostnaderna. Men det icke-deterministiska och samtidiga beteendet hos distribuerade system gör deras analys och design komplex, ofta resulterar i mindre än tillfredsställande prestanda i simulering och testbädd scenarier, som orsakas av att använda oprecisa modeller för att analysera, validera och designa dessa system. Dessutom finns det några simuleringsplattformar som inte stöder dessa modeller. I detta dokument presenteras en design- och valideringsmetod för trådlösa sensor- och aktuatornätverk (WSAN) som stöds på en minimal uppsättning trådlösa komponenter representerade i Colored Petri Nets (CPN). Sammanfattningsvis, den modell som presenteras gör det möjligt för användare att verifiera konstruktionsegenskaper och strukturellt beteende i systemet.
Martinez och Al. REF presenterar ett tillvägagångssätt som använder Colored Petri Nets (CPN) för modellering av SANETs.
Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks
{'venue': 'Sensors (Basel, Switzerland)', 'journal': 'Sensors (Basel, Switzerland)', 'mag_field_of_study': ['Computer Science', 'Medicine']}