Documents in the NTIS Technical Reports collection are the results of federally funded research. They are directly submitted to or collected by NTIS from Federal agencies for permanent accessibility to industry, academia and the public.  Before purchasing from NTIS, you may want to check for free access from (1) the issuing organization's website; (2) the U.S. Government Printing Office's Federal Digital System website http://www.gpo.gov/fdsys; (3) the federal government Internet portal USA.gov; or (4) a web search conducted using a commercial search engine such as http://www.google.com.
Accession Number PB2013-108644
Title Modelling Ambient Systems with Coloured Petri Nets.
Publication Date Mar 2013
Media Count 27p
Personal Author A. Konios M. Pietkiewicz-Koutny
Abstract This paper is concerned with the formal modelling of Ambient Systems, focussing on the issues that emerge in their modelling using coloured Petri nets. A new class of coloured Petri nets, called Ambient Petri Nets (APNs), is introduced. Furthermore, a related step-modelling approach and its rationale are described. After that, the modularity and compositionality of the new class of Petri nets are discussed, and a method of composing APNs is introduced.
Keywords Ambient Petri Nets(APNs)
Ambinet systems
Compositionality
Modelling
Modularity
Petri nets


 
Source Agency University of Newcastle Department of Computing Science
NTIS Subject Category 62 - Computers, Control & Information Theory
62B - Computer Software
Corporate Author Newcastle upon Tyne Univ. (England).
Document Type Technical report
Title Note N/A
NTIS Issue Number 1319
Contract Number N/A

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader