par Devillers, Raymond Cliquez pour télécharger la liste de publications de l'auteur
Référence Proceedings (International Conference on Application of Concurrency to System Design), 16, (page 65-73)
Publication Publié, 2016-06-22
Article révisé par les pairs
Titre :
  • Products of Transition Systems and Additions of Petri Nets
Auteur : Devillers, Raymond
Informations sur la publication : Proceedings (International Conference on Application of Concurrency to System Design), 16, (page 65-73)
Statut de publication : Publié, 2016-06-22
Sujet CREF : Informatique mathématique
Mots-clés : labelled transition systems
composition
decomposition
algebraic properties
Petri nets
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1550-4808 
info:doi/10.1109/ACSD.2016.10