MATCH Advanced Summer Schools Slides and exercises of the lectures

System Engineering. A Petri Net Based Approach to Modelling, Verification and Implementation.

September 14-22, 1998. Jaca, Spain.

• More on properties, linear properties and net subclasses. (J.M. Colom) - Updated version
  
  • Approx. size: 900 KBytes
  • Format: PDF (Adobe Acrobat Reader 3.0)
  • Organization: 4 slides per page (landscape)
• Structural Methods I. (J.M. Colom) - Updated version
  
  • Approx. size: 800 KBytes
  • Format: PDF (Adobe Acrobat Reader 3.0)
  • Organization: 4 slides per page (landscape)
• Structural Methods II. (L. Recalde) - Updated version
  
  • Approx. size: 450 KBytes
  • Format: PDF (Adobe Acrobat Reader 3.0)
  • Organization: 1 slide per page (landscape)
• Assertional Reasoning and Temporal Logic for System Verification. (Mark-Oliver Stehr) - Updated version
  
  • Approx. size: 540 KBytes
  • Format: PostScript
  • Organization: 4 slides per page (landscape)
• Flexible Manufacturing Systems
  • Lecture. (J. Ezpeleta) - Updated version
    
    • Approx. size: 900 KBytes
    • Format: PDF (Adobe Acrobat Reader 3.0)
    • Organization: 4 slides per page (landscape)
  • Practical Work 1. (F. Tricas and J. Ezpeleta) - Updated version
    
    • Approx. size: 180 KBytes
    • Format: PDF (Adobe Acrobat Reader 3.0)
    • Organization: Pages of text (A4)
  • Practical Work 2. (F. Tricas and J. Ezpeleta) - Updated version
    
    • Approx. size: 80 KBytes
    • Format: PDF (Adobe Acrobat Reader 3.0)
    • Organization: Pages of text (A4)
• Presentation of CPN-AMI. (F. Kordon) - Updated version
  
  • Approx. size: 1.200 KBytes
  • Format: PDF (Adobe Acrobat Reader 3.0)
  • Organization: 2 slides per page (landscape)
• Introduction to Petri Nets (Models and Toy examples) (R. Valk) - Updated version
  
  • Approx. size: 1.800 KBytes
  • Format: Gzipped PostScript (use gunzip)
  • Organization: 1 slide per page (landscape)
• Linear Logic and Rewriting for Petri Nets (B. Farwer) - Updated version
  
  • Approx. size: 1.200 KBytes
  • Format: Gzipped PostScript (use gunzip)
  • Organization: 1 slide per page (landscape)