COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS

Ella Roubtsova, Ashley McNeile

2010

Abstract

We define a modeling language based on combining Coloured Petri Nets with Protocol Modeling semantics. This language combines the expressive power of Coloured Petri Nets in describing behavior with the ability provided by Protocol Modeling to compose partial behavioral descriptions. The resultant language can be considered as a domain specific Coloured Petri Net based language for deterministic and constantly evolving systems.

Paper Citation

in Harvard Style

Roubtsova E. and McNeile A. (2010). COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8425-06-5, pages 501-504. DOI: 10.5220/0002971005010504

in Bibtex Style

@conference{iceis10,
author={Ella Roubtsova and Ashley McNeile},
title={COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2010},
pages={501-504},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002971005010504},
isbn={978-989-8425-06-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - COLOURED PETRI NETS WITH PARALLEL COMPOSITION TO SEPARATE CONCERNS
SN - 978-989-8425-06-5
AU - Roubtsova E.
AU - McNeile A.
PY - 2010
SP - 501
EP - 504
DO - 10.5220/0002971005010504