ACSD/Petri Nets Workshops 2010: Braga, Portugal

Refine list

showing all ?? records

Biological Processes & Petri Nets (BioPPN)

Applications of Region Theory (ART)

Petri Nets and Software Engineering (PNSE)

Abstractions for Petri Nets and Other models of Concurrency (AP- NOC) and Scalable and Usable Model checking for Petri nets and Other models of concurrency (SUMo)

a service of  Schloss Dagstuhl - Leibniz Center for Informatics