Modeling and analyzing power consumption in sensor networks nodes based on differential hybrid Petri nets
This work presents a formalism based on Petri nets to model, to simulate and to analyze hybrid systems. This formalism is named differential hybrid Petri nets (DHPNs). The formalism proposed incorporates the main elements of the semantics of the hybrid automaton and the expressiveness of the Petri n...
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Tagungsbericht |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!