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
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