• Citer

On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets

par Devillers, Raymond ;Tredup, Ronny
Référence Fundamenta informaticae, 189, 3-4, page (261-296)
Publication Publié, 2023-10-01

Article révisé par les pairs

• Accès en ligne
• Détails
• Contenu
• Statistiques

Titre:	On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
Auteur:	Devillers, Raymond; Tredup, Ronny
Informations sur la publication:	Fundamenta informaticae, 189, 3-4, page (261-296)
Statut de publication:	Publié, 2023-10-01
Sujet CREF:	Informatique mathématique
	Algèbre linéaire et matricielle
	Théorie des nombres
	Informatique générale
Mots-clés:	Boolean Types
	Complexity
	Edge-Removal
	Event-Removal
	Label-Splitting
	Petri net
	State-Removal
	Synthesis
Note générale:	SCOPUS: cp.j
Langue:	Anglais
Identificateurs:	urn:issn:0169-2968
	info:doi/10.3233/FI-222161
	info:scp/85176463509