#ABCD

#abstraction

#acceleration

#action refinement

  • M-nets: a survey Hanna Klaudel, Franck Pommereau. Acta Informatica 45(7-8), Springer 2009-12-01

#algebra of Petri nets

#ANR

#asynchronous communication

#benchmarks

#BibTeX

#blog

#BSP

#caches

#coloured Petri nets

#CompoNet

#composability

#compositionality

#compositions

  • M-nets: a survey Hanna Klaudel, Franck Pommereau. Acta Informatica 45(7-8), Springer 2009-12-01

#compression

#concurrency

#conference

#correctness

#cryptographie

#CTL*

#Cython

#database

#département d'informatique

  • Enseignement Page d'enseignement de Franck Pommereau 2013-03-01

#Ditributed storage

#école doctorale

#enseignement

#exceptions

#execution machines

#explicit model-checking

#Explicit model-checking

#explicit state space exploration

#expressivity

#FIFO buffers

#filesystem monitoring

#formal modelling

#formal semantics

#formal specification

#formalisms

#gevent

#habilitation thesis

#handshake/buffered communication

#high-level Petri nets

  • M-nets: a survey Hanna Klaudel, Franck Pommereau. Acta Informatica 45(7-8), Springer 2009-12-01

#L3

#LaTeX

#Linux

#LLVM

#logical regulatory networks

#LTL

#M-nets

#M1

#M2

#malicious peers detection

#marking symmetries

#mémoire

#model-checking

#model compilation

#Model compilation

#modelling

#multi-threaded systems

#Neco

#nets within nets

#operational semantics

#optimised transition firing

#P2P

#parallel programming

#parallelism

#parsing

#Parsley

#passwords

#peer-to-peer storage

#persistence

#Petri Box Calculus

#Petri nets

#Petri nets compilation

#Petri nets library

#plugin

#poster

#preemption

#presentation

#process algebra

#process algebras

#projects

#protocoles

#prototyping

#publication

#publications

#Python

#quick prototyping

#reachability

#real-time

#regulation networks

#regulatory networks

#release

#research

#réseaux

#réseaux de Petri

  • Réseaux de Petri Supports et compléments pour le cours de réseaux de Petri de M2 2013-03-01

#sécurité

#security

#security protocols

#semantics

#shelve

#side-effects

#simulation

#SNAKES

#SOS

#spatial information

#spatial modeling

#state equivalence

#state space

#state space computation

#state-space computation

#state-space generation

#state space reduction

#storage

#structured operational semantics

#supports de cours

  • Enseignement Page d'enseignement de Franck Pommereau 2013-03-01

#sûreté

#synchronisation

  • M-nets: a survey Hanna Klaudel, Franck Pommereau. Acta Informatica 45(7-8), Springer 2009-12-01

#synchronous and asynchronous communication

#systems biology

#tasks

#threads

#timed Petri nets

#timed specification

#tips

#tool

#tools

  • Related tools A list of known tools that use SNAKES or are related to it 2016-05-07

#tools development

#topological collections

#traces

#tutorial

#Ubuntu

#unbounded integers

#verification