Characterisation of the state spaces of live and bounded marked graph Petri nets

Best, Eike; Devillers, Raymond

doi:doi/10.1007/978-3-319-04921-2_13

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

Citer

Characterisation of the state spaces of live and bounded marked graph Petri nets

par Best, Eike

;Devillers, Raymond

Référence Lecture notes in computer science, 8370 LNCS, page (161-172)
Publication Publié, 2014

Article révisé par les pairs

Résumé :

The structure of the reachability graph of a live and bounded marked graph Petri net is fully characterised. A dedicated synthesis procedure is presented which allows the net and its bounds to be computed from its reachability graph. © 2014 Springer International Publishing.

Documents en relation

DI-fusion

On the Reversibility of Circular Conservative Petri Nets
par Devillers, Raymond
Publication 2023-05-01
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
par Devillers, Raymond , Tredup, Ronny
Publication 2023-10-01
Solving the Tensor Isomorphism Problem for special orbits with low rank points:Cryptanalysis and repair of an Asiacrypt 2023 commitment scheme
par Gilchrist, Valerie , Marco, Laurane , Petit, Christophe , Tang, Gang
Publication 2024-08-18
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

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.