View of Behavioral verification of internet of things systems by Petri nets

Return to Article Details Behavioral verification of internet of things systems by Petri nets Download Download PDF