Composition of the Transformed Ambient Petri Nets

Research output: Contribution to conferencePaper

Abstract

Ambient Petri Nets (APNs) is a well-defined subclass of Coloured Petri Nets (CPNs) that can be used for the behavioural modelling of the Ambient Systems or other interactive intelligent/smart systems. In previous work, we demonstrated how APNs can be used in order to model and verify real smart systems by providing their composition and their translation into another Coloured Petri net class, the Transformed Ambient Petri Nets (T-APNs). The translation of APNs into T-APNs increases the applicability and effectiveness of this class and enables its models to be verified by widely-used and accepted verification tools, such as Snoopy and CPNs tool. This paper presents the compositional components of the T-APNs and how they can be used for the composition of the T-APNs. Finally, the composition of the T-APNs is defined following the rationale that was used for the formal definition of the APNs composition.
Original languageEnglish
Publication statusIn preparation - May 2017

Fingerprint

Petri nets
Chemical analysis

Cite this

Composition of the Transformed Ambient Petri Nets. / Konios, Alexandros.

2017.

Research output: Contribution to conferencePaper

@conference{e50884d0e83f4ff997c659b4bbd77cac,
title = "Composition of the Transformed Ambient Petri Nets",
abstract = "Ambient Petri Nets (APNs) is a well-defined subclass of Coloured Petri Nets (CPNs) that can be used for the behavioural modelling of the Ambient Systems or other interactive intelligent/smart systems. In previous work, we demonstrated how APNs can be used in order to model and verify real smart systems by providing their composition and their translation into another Coloured Petri net class, the Transformed Ambient Petri Nets (T-APNs). The translation of APNs into T-APNs increases the applicability and effectiveness of this class and enables its models to be verified by widely-used and accepted verification tools, such as Snoopy and CPNs tool. This paper presents the compositional components of the T-APNs and how they can be used for the composition of the T-APNs. Finally, the composition of the T-APNs is defined following the rationale that was used for the formal definition of the APNs composition.",
author = "Alexandros Konios",
year = "2017",
month = "5",
language = "English",

}

TY - CONF

T1 - Composition of the Transformed Ambient Petri Nets

AU - Konios, Alexandros

PY - 2017/5

Y1 - 2017/5

N2 - Ambient Petri Nets (APNs) is a well-defined subclass of Coloured Petri Nets (CPNs) that can be used for the behavioural modelling of the Ambient Systems or other interactive intelligent/smart systems. In previous work, we demonstrated how APNs can be used in order to model and verify real smart systems by providing their composition and their translation into another Coloured Petri net class, the Transformed Ambient Petri Nets (T-APNs). The translation of APNs into T-APNs increases the applicability and effectiveness of this class and enables its models to be verified by widely-used and accepted verification tools, such as Snoopy and CPNs tool. This paper presents the compositional components of the T-APNs and how they can be used for the composition of the T-APNs. Finally, the composition of the T-APNs is defined following the rationale that was used for the formal definition of the APNs composition.

AB - Ambient Petri Nets (APNs) is a well-defined subclass of Coloured Petri Nets (CPNs) that can be used for the behavioural modelling of the Ambient Systems or other interactive intelligent/smart systems. In previous work, we demonstrated how APNs can be used in order to model and verify real smart systems by providing their composition and their translation into another Coloured Petri net class, the Transformed Ambient Petri Nets (T-APNs). The translation of APNs into T-APNs increases the applicability and effectiveness of this class and enables its models to be verified by widely-used and accepted verification tools, such as Snoopy and CPNs tool. This paper presents the compositional components of the T-APNs and how they can be used for the composition of the T-APNs. Finally, the composition of the T-APNs is defined following the rationale that was used for the formal definition of the APNs composition.

M3 - Paper

ER -