Publications

Guidelines for Modelling Reactive Systems with Coloured Petri Nets

AuthID
P-008-DNQ

Author(s)

Goncalves, M

Fernandes, JM

Document Type

Proceedings Paper

Year published

2013

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 7706 LNCS, Pages: 126-137

Conference

8Th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Mompes 2012, Date: 4 September 2012 through 4 September 2012, Location: Essen

Indexing