PETRI NETS | ACSD | ||
---|---|---|---|
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 |
Siirtola 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 |
||
Lunch | |||
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 | ||