Simultaneous petri net synthesis

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

;Schlachter, Uli ;Wimmel, Harro
Référence Scientific Annals of Computer Science, 28, 2, page (199-236)
Publication Publié, 2018

Article révisé par les pairs

Titre:	Simultaneous petri net synthesis
Auteur:	Best, Eike; Devillers, Raymond; Schlachter, Uli; Wimmel, Harro
Informations sur la publication:	Scientific Annals of Computer Science, 28, 2, page (199-236)
Statut de publication:	Publié, 2018
Sujet CREF:	Informatique générale
	Mathématiques
Mots-clés:	Choice-freeness
	Labelled transition systems
	Petri nets
	Synthesis
Note générale:	SCOPUS: ar.j
Langue:	Anglais
Identificateurs:	urn:issn:2248-2695
	info:doi/10.7561/SACS.2018.2.199
	info:scp/85065233803

Target-oriented Petri Net Synthesis
par Best, Eike , Devillers, Raymond , Erofeev, Evgeny , Wimmel, Harro
Publication 2020-08-01
A New Property of Choice-Free Petri Net Systems
par Best, Eike , Devillers, Raymond , Erofeev, Evgeny
Publication 2020-08-01
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
Complexity of Distributed Petri Net Synthesis
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
Synthesis of (Choice-Free) Reset Nets
par Devillers, Raymond
Publication 2021-02-01

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.