Articulation of Transition Systems and Its Application to Petri Net Synthesis

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Lecture notes in computer science, 11522 LNCS, page (113-126)
Publication Publié, 2019-08-01

Article révisé par les pairs

Titre:	Articulation of Transition Systems and Its Application to Petri Net Synthesis
Auteur:	Devillers, Raymond
Informations sur la publication:	Lecture notes in computer science, 11522 LNCS, page (113-126)
Statut de publication:	Publié, 2019-08-01
Sujet CREF:	Informatique mathématique
	Informatique générale
Mots-clés:	Composition
	Decomposition
	Labelled transition systems
	Petri net synthesis
Note générale:	SCOPUS: cp.k
Langue:	Anglais
Identificateurs:	urn:issn:0302-9743
	info:doi/10.1007/978-3-030-21571-2_8
	info:scp/85067802746

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.