Conferences in DBLP

Applications and Theory of Petri Nets (ICATPN/APN) (apn)
2003 (conf/apn/2003)

1. Kurt Jensen
   Coloured Petri Nets: Status and Outlook. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:1-2 [Conf]
   
2. Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano
   Towards Biopathway Modeling and Simulation. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:3-22 [Conf]
   
3. José Manuel Colom
   The Resource Allocation Problem in Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:23-35 [Conf]
   
4. Marco Ajmone Marsan, Michele Garetto, Renato Lo Cigno, Michela Meo
   Colored GSPN Models for the QoS Design of Internet Subnets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:36- [Conf]
   
5. Ed Brinksma
   Compositional Theories of Qualitative and Quantitative Behaviour. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:37-42 [Conf]
   
6. Clarence A. Ellis
   Net Models Supporting Human and Humane Behaviors. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:43- [Conf]
   
7. H. M. W. (Eric) Verbeek, Twan Basten
   Deciding Life-Cycle Inheritance on Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:44-63 [Conf]
   
8. Eric Badouel, Jules Chenou
   Nets Enriched over Closed Monoidal Structures. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:64-81 [Conf]
   
9. Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
   Automatic Symmetry Detection in Well-Formed Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2003, pp:82-101 [Conf]
   
10. Lawrence Cabac, Daniel Moldt, Heiko Rölke
    A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:102-120 [Conf]
    
11. Michael Köhler, Daniel Moldt, Heiko Rölke
    Modelling Mobility and Mobile Agents Using Nets within Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:121-139 [Conf]
    
12. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello
    Modular System Development with Pullbacks. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:140-160 [Conf]
    
13. Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
    Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:161-180 [Conf]
    
14. Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno
    On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:181-200 [Conf]
    
15. Marko Mäkelä
    Model Checking Safety Properties in Modular High-Level Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:201-220 [Conf]
    
16. Jorge Júlvez, Laura Recalde, Manuel Silva
    On Reachability in Autonomous Continuous Petri Net Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:221-240 [Conf]
    
17. Spyros A. Reveliotis
    On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:241-255 [Conf]
    
18. Jens Bæk Jørgensen
    Coloured Petri Nets in Development of a Pervasive Health Care System. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:256-275 [Conf]
    
19. Kurt Lautenbach
    Logical Reasoning and Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:276-295 [Conf]
    
20. Rik Eshuis, Juliane Dehnert
    Reactive Petri Nets for Workflow Modeling. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:296-315 [Conf]
    
21. Sahika Genc, Stéphane Lafortune
    Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:316-336 [Conf]
    
22. Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve
    Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:337-356 [Conf]
    
23. Gabriel Juhás, Robert Lorenz, Tomás Singliar
    On Synchronicity and Concurrency in Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:357-376 [Conf]
    
24. María E. Villapol, Jonathan Billington
    Analysing Properties of the Resource Reservation Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:377-396 [Conf]
    
25. Hans Fleischhack, Elisabeth Pelz
    Hierarchical Timed High Level Nets and Their Branching Processes. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:397-416 [Conf]
    
26. Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe
    A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:417-439 [Conf]
    
27. Stéphane Klein, Georg Frey, Mark Minas
    PLC Programming with Signal Interpreted Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:440-449 [Conf]
    
28. Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen
    CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:450-462 [Conf]
    
29. Claus Schröter, Stefan Schwoon, Javier Esparza
    The Model-Checking Kit. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:463-472 [Conf]
    
30. Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler
    Prototyping Object Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:473-482 [Conf]
    
31. Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
    The Petri Net Markup Language: Concepts, Technology, and Tools. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:483-505 [Conf]