No

Time

Paper

Authors

1

17:30-17:40

PicNIc - Pi-calculus Non-Interference checker

S.Crafa, M.Miculan, M.Mio, C.Piazza, S.Rossi

2

17:40-17:50

Closed Loop State Space Analysis and Simulation for Cognitive Systems

H.Oberheid, D.Gamrad, D.Soeffker

3

17:50-18:00

BAM: BioAmbient Machine

V.A.Muganthan, A.Phillips, M.G.Vigliotti

4

18:00-18:10

A Behavioral Synthesis Method for Asynchronous Circuits with Bundled-data Implementation

N.Hamada, Y.Shiga, H.Saito, T.Yoneda, C.Myers, T.Nanya

5

18:10-18:20

An Effective Approach for Model Checking SystemC Designs

R.Behjati, H.Sabouri, N.Razavi and M.Sirjani

6

18:20-18:30

Process Algebraic Verification of SystemC Codes

H.Hojjat, M.Mousavi and M.Sirjani

7

18:30-18:40

an invited talk at the PNDS workshop(2 tools, CPN & ASAP)

Lars Kristensen, Michael Westergaard

8

18:40-18:50

(1)Modular Construction of the Symbolic Observation Graph(ACSD)
(2)Hierarchical Set Decision Diagrams and Automatic Saturation(ATPN)
(3)MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs(ATPN)

Hamez, Alexandre; Thierry-Mieg, Yann; Kordon, Fabrice

9

18:50-19:00

Synthesis of Petri Nets from Scenarios with VipTool

Bergenthum, Robin; Desel, J?rg; Lorenz, Robert; Mauser, Sebastian

10

19:00-19:10

HYPENS: a Matlab Tool for Timed Discrete, Continuous and Hybrid Petri nets

Sessego, Fausto; Giua, Alessandro; Seatzu, Carla

11

19:10-19:20

A Monitoring Toolset for PAOSE

Cabac, Lawrence; D?rges, Till; R?lke, Heiko

12

19:20-1930

Animated Graphical User Interface Generator Framework for Input-Output Place -Transition Petri Net Models

Gomes, Luís; Lourenco, Jo?o

Session I

9.00-10.00
Self-timed Circuit Design: Stepping from Control to Data Path
A.Yakovlev, D.Sokolov and I.Poliakov (invited talk)

10.00-10.30
Modeling, Analysis and Simulation of Cluster Tools for Semiconductor Manufacture Using Timed Color Petri Nets
Y.Liu and Z.Wu

BREAK 10.30-11.00

Session II

11.00-11.30
Reduction Rules for Petri Net Based Representation for Embedded Systems
C.Xia

11.30-12.00
Design and Implementation of a MetaObject Protocol on Colored Petri Net based on Renew
D.Qi, M.Lin, S.Guo, S.Wan and Y.Dong

12.00-12.30
An Attacking Modeling Based on Hierarchical Coloured Petri Nets
H.Yuan and S.Yao

LUNCH 12.30-2.00

Session III

2.00-2.30
A Choice Strategy of Semantic Web Service Combination Plan Based on Petri Nets
P.Men and Zhenhua Duan

2.30-3.00
The Design and Implementation of Dynamic Workflow Rules Editor Based on YAWL
W.Zheng, S.Liu, Z.Yao and Z.Zheng

3.00-3.30
Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets
L.Lei and Z.Duan

BREAK 3.30-4.00

Session IV

4.00-5.00
A Stochastic Game Nets Based Approach for Network Security Analysis
C.Lin, Y.Wang and Y.Wang (invited talk)

5.00-5.30
Analysis of Information Flow Security Model Based on CPN
Y.Jiang and S.Yao

5.30-6.00
Intrusion Detection Data Fusion based on Fuzzy Petri Net and Neural Network
H.Du, S.Teng, W.Zhang and Q.Zhu

Tuesday June 24
---------------

Session V

9.00-10.00
A Unified Model Checking Approach with Projection Temporal Logic
Z.Duan and C.Tian (invited talk)

10.00-10.30
On Bisimulation Theory in Linear Higher-Order Pi-Calculus
X.Xu

BREAK 10.30-11.00

Session VI

11.00-11.30
Experimental Results on Process Mining Based on Regions of Languages
R.Bergenthum, J.Desel, C.Koelbl, S.Mauser

11.30-12.00
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
R. Bergenthum and S. Mauser

12.00-12.30
Deontic Petri Net for Modeling and Analyzing Social Interactions in Collaborative Organizations
G.Cai, L.Shi, X.Sui and J.Qian

LUNCH 12.30-2.00

Session VII

2.00-3.00
Weak Bounded Semantics and Bounded Verification of LTL Formulas
W.Zhang (invited talk)

3.00-3.30
Soundness of Workflow Nets with Reset Arcs is Undecidable!
W.M.P.van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N.Sidorova,
H.M.W.Verbeek,M.Voorhoeve, and M.T.Wynn

BREAK 3.30-4.00

Session IV

4.00-4.30
Towards a Coloured Petri Nets Semantics of a Chronicle Language for Distributed Simulation Processing
O.Bertrand, P.Carle, C.Choppy

4.30-5.00
Optimization of Handshake Circuits
F.Fernandez-Nogueira and J.Carmona

Discussion and Closing, 5.00-5.45

Monday, 23rd June

14:00 Opening

14:15 Session I (3 talks, each 30+10)

14:15 - 14:55

newYAWL: Designing a Workflow System using Coloured Petri Nets

Nick Russell, Wil van der Aalst and Arthur ter Hofstede

14:55 - 15:35

A combined protocol channel model and its application to the Datagram

Congestion Control Protocol

Somsak Vanit-Anunchai, Jonathan Billington and Guy Gallasch

15:35 - 16:15

Modelling Crutial Information Switches with Stochastic Well-formed Nets

Susanna Donatelli and Davide Cerotti

16:15 Coffee break

16:45 Session II (3 short talks, each 10+10)

16:45 - 17:05

Applying a Nested Petri Net Modeling Paradigm to Coordination

of Sensor Networks with Mobile Agents

Xudong He, Lily Chang, Sol Shatz and Juzheng Li

17:05 - 17:25

A Verifiable Low-level Concurrent Programming Model Based on Colored Petri Nets

Shengyuan Wang and Yuan Dong

17:25 - 17:45

Integrating Active Rules into Database System via a Petri Net Approach

Lorena Chavarría-Báez and Xiaoou Li

Tuesday, 24th of June

09:00 Invited talk and discussion

The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models

Lars M. Kristensen

10:30 Coffee break

11:00 Session III (2 talks, each 30+10)

11:00 - 11:40

Verification of RoseRT models using Petri nets

Marcel van Leeuwen, Lou Somers, Marc Voorhoeve and Jan Martijn van der Werf

11:40 - 12:20

Aggregating views for Petri net model construction

J?rg Desel and Laure Petrucci

12:20 Lunch

14:00 Session IV (2 talks, each 30+10)

14:00 - 14:40

On soundness and related concepts of nested workflow nets

Olivia Oanea

14:40 - 15:20

On Modelling the Dynamic MANET On-demand (DYMO) routing protocol

Cong Yuan and Jonathan Billington

15:20 Closing session, general discussion

16:00 Coffee break and workshop closing

June 24, 2008 Morning

9:00-9:40 Keynote Speech I.
Session Chair: Prof. MengChu Zhou, New Jersey Institute of Technology , USA
Speaker: Prof. F.L. Lewis , University of Texas at Arlington , USA
P. Ballal and F.L. Lewis , Matrix Formulation for Dempster-Shafer Evidence Computations: Application in Free-Choice Petri Nets for Intelligent Diagnostics

9:45-12:15 Technical Session: Petri Nets and Manufacturing Systems
Session Chair: Prof. Zhiwu Li, Xidian University , China
Session Co-Chair: Prof. Yi-Sheng Huang, National Defense University

9:45-10:10 Wu and Zhou , I ntelligent Token Petri Nets for Modeling and Control of Reconfigurable Automated Manufacturing Systems with Dynamical Changes

10:10-10:35 Chao, A Simple Modification of Deadlock Prevention Policy of S 3 PR Based on Elementary Siphons

10:35-11:00 He and Wu, Deadlock-free Assignment of Wafer Processing in Photolithography Equipment -by Using a CPN Model

11:00-11:25 Li, Qin, and Zhu, Identification of Controllable Transitions for an Optimal Liveness-enforcing Supervisor for a Class of Petri Nets

11:25-11:50 Barkaoui and Ayed, Parameterized Verification of Workflow Soundness

11:50-12:15 Wang, Li and Jia, On Computation of the Strict Minimal Siphons in a Subclass of Petri Nets Using Resource Digraphs

12:15-13:30 Lunch

June 24, 2008 Afternoon

13:30-14:10 Keynote Speech II .

Session Chair: Prof. MengChu Zhou, New Jersey Institute of Technology , USA
Speaker: Prof. M. P. Fanti, Politecnico di Bari , Italy
Dotoli, Fanti, and Mangini , Fault Monitoring of Discrete Event Systems by First Order Hybrid Petri Nets

14:15-16:45 Technical Session: Petri Nets and Discrete Event Systems
Session Chair: Prof. Zhiwu Li, Xidian University
Session Co-Chair: Prof. K. Barkaoui, CEDRIC - Consevatoire National des Arts et Metiers, France

14:15-14:40 Huang , Modeling and Analysis of Air Traffic Control Systems Using Hierarchical Timed Colored Petri Nets

14:40-15:05 Yuan, Zhao, Huang, and Zhang , A Study on Fairness of Place/Transition Systems -To Make Fairness Fairer

15:05-15:30 Zeng, Wu, Mao, Su and Chu , A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

15:30-15:55 Sun, Jiang, and Zhou, Interactive Web Service Composition based on Petri nets

15:55-16:20 Wang, Zhou and Ding, Software architectural modeling and verification: a Petri net and temporal logic approach