Hybrid Petri Nets for Intelligent House and Its Environment Control
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F09%3APU83547" target="_blank" >RIV/00216305:26220/09:PU83547 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Hybrid Petri Nets for Intelligent House and Its Environment Control
Original language description
This work concerns with intelligent house and its environment control using hybrid Petri nets. Design of a model for verification and Petri net research using a programmable logic controller is described here. The model is executed on a microcontroller and is simulated together with interactions from the environment Created hybrid Petri net is divided into multiple subsystems and synchronized by one subsystem. Petri net design is made on a PC using program Sketcher where we can create, verify and simulate designed nets.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BC - Theory and management systems
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F09%2F1680" target="_blank" >GA102/09/1680: Control Algorithm Design by Means of Evolutionary Approach</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Annals of Daaam for 2009 &Proceedings
ISBN
978-3-901509-70-4
ISSN
—
e-ISSN
—
Number of pages
2
Pages from-to
—
Publisher name
Daaam Vienna
Place of publication
Vienna
Event location
Vienna
Event date
Nov 25, 2009
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—