Skip to Main content Skip to Navigation
Other publications

LLbox

Abstract : LLbox est un outil permettant de produire des preuves de séquents à partir de scénarios c'est à dire des ensembles non ordonnés d'événements correspondant à des tirs de transitions dans un réseau de Petri temporel. La preuve établit d'une part, la franchissabilité du scénario en considérant une sémantique de tir d'ordre partiel et d'autre part, donne le marquage résultant. Cet outil a été conçu afin de s'intégrer au sein de Romeo.
Document type :
Other publications
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01112538
Contributor : David Delfieu <>
Submitted on : Tuesday, February 3, 2015 - 10:55:31 AM
Last modification on : Wednesday, January 23, 2019 - 9:58:15 AM

Identifiers

  • HAL Id : hal-01112538, version 1

Collections

Citation

Medesu Sogbohossou, David Delfieu. LLbox. 2007. ⟨hal-01112538⟩

Share

Metrics

Record views

1362