Browsing Computer Science and Automation (CSA) by Subject "Petri Nets"
Now showing items 1-3 of 3
-
Autonomous Spacecraft Mission Planning And Execution In A Petri Net Framework
(2014-08-01)Presently, most spacecraft are controlled from ground involving activities such as up-linking the schedule of daily operations and monitoring health parameters. These activities lead to a cognitive overload on human ... -
Model-Checking Infinite-State Systems For Information Flow Security Properties
(2017-02-16)Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events ... -
Petri Net Model Based Energy Optimization Of Programs Using Dynamic Voltage And Frequency Scaling
(2013-05-29)High power dissipation and on-chip temperature limit performance and affect reliability in modern microprocessors. For servers and data centers, they determine the cooling cost, whereas for handheld and mobile systems, ...