Petri Nets 2010, ACSD 2010 - Braga, Portugal


ACSD 2010

Braga, Portugal, June 21-25, 2010
Petri Nets 2010, ACSD 2010 - Braga, Portugal
Thursday, 24 June 2010

09:00-10:00 Invited Speaker: David Harel
Some Thoughts on Behavioral Programming
10:00-10:30 coffee break
10:30-11:00 Gusikhin, Klampfl
Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies using Petri Nets
  Launiainen, Heljanko, Junttila
Efficient Model Checking of PSL Safety Properties
11:00-11:30 Petrucci, Choppy, Dedova, Evangelista, Klai, Hong
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
Cut-Offs with Network Invariants
11:30-12:00 Lohmann, Weinberg
Wendy: A Tool to Synthesize Partners for Services
  Raffelsieper, Mousavi, Zantema
Order-Independence of Vector-Based Transition Systems
12:00-12:30     Linard, Paviot-Adet, Kordon, Buchs, Charron
polyDD: Towards a Framework Generalizing Decision Diagrams
14:00-15:00 Invited Speaker: Maciej Koutny
Petri Nets with Localities and Testing
15:00-15:30 coffee break
15:30-16:00 Fabre, Chatain
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
  Talpin, Ouy, Gautier, Besnard, Cortier
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
16:00-16:30 Rosa-Velardo, de Frutos-Escrig
Forward Analysis for Petri Nets with Name Creation
  Jose, Pribble, Shukla
Faster Software Synthesis using Actor Elimination Techniques for Polychronous Formalism
16:30-17:00 Le
A Characterization of Combined Traces Using Labeled Stratified Order Structures
  Gemünde, Brandt, Schneider
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
18:00-19:30 Visit to the Municipal Stadium of Braga
20:00-23:30 Gala dinner at Sameiro Eventos