Brigitte Pradin-Chezalviel

Learn More
The objective of this communication is: • Characterize partial order relations in a scenario – resulting from the structure of the Petri net – resulting from the initial and the final markings (reachability) • Derive an algebraic formulae of the duration of the scenario – how long to go from the initial marking to the final one – a duration is attached to(More)
Equivalence between reachability in Petri nets and provability of certain sequent of linear logic has been proven in various ways. This work relates linear logic proofs based on the work of 13] to processes of Petri nets: we prove that from a canonical proof tree, an quivalentt nite process can be derived and reciprocally that for each nite process,(More)
  • 1