Week 8 Computational Level

Slides:



Advertisements
Similar presentations
School of Computer Science & Software Engineering
Advertisements

1 SE-561 Formal Methods in Software Petri Nets - I.
An Introduction to Petri Nets
Principles of Engineering System Design Dr T Asokan
Petri Nets Section 2 Roohollah Abdipur.
Based on: Petri Nets and Industrial Applications: A Tutorial
Lecture 8: Three-Level Architectures CS 344R: Robotics Benjamin Kuipers.
A Novel Method For Fast Model Checking Project Report.
IE 469 Manufacturing Systems
Discrete Interaction Design Specification Prof. Dr. Matthias Rauterberg Faculty Industrial Design Technical University of Eindhoven
Petri net modeling of biological networks Claudine Chaouiya.
XML Documentation of Biopathways and Their Simulations in Genomic Object Net Speaker : Hungwei chen.
1 Petri Nets H Plan: –Introduce basics of Petri Net models –Define notation and terminology used –Show examples of Petri Net models u Calaway Park model.
FunState – An Internal Design Representation for Codesign A model that enables representations of different types of system components. Mixture of functional.
AR vs. CFSM Abdallah Tabbara. CFSM Overview 4 CFSM has: –a finite state machine part –a data computation part –a locally synchronous behavior transitions.
1 CS 426 Senior Projects Chapter 14: Activity Diagrams [Arlow and Neustadt, 2005] February 17, 2009.
1 Petri Nets Marco Sgroi EE249 - Fall 2001 Most slides borrowed from Luciano Lavagno’s lecture ee249 (1998)
Modeling State-Dependent Objects Using Colored Petri Nets
Petri Net Modeling for dynamic MM composite Object.
Mata kuliah :K0362/ Matematika Diskrit Tahun :2008
PETRINETS Nipun Devlekar Zauja Lahtau. PETRINETS DEFINITION : DEFINITION :  PETRINET (place/ transition net): a formal, graphical, executable technique.
Chapter 11: Artificial Intelligence
 Platform Independent Petri net Editor 2 (PIPE2) CS2650 Distributed Multimedia Systems Wen Xu November 23 rd, 2010.
An Introduction to Petri Nets Marjan Sirjani Formal Methods Laboratory University of Tehran.
Modeling with ordinary Petri Nets Events: Actions that take place in the system The occurrence of these events is controlled by the state of the system.
CY2003 Computer Systems Lecture 7 Petri net. © LJMU, 2004CY2003- Week 72 Overview Petri net –concepts –Petri net representation –Firing a transition –Marks.
Virtual Storytelling Adam Abonyi Daniel Balaš. Agenda 1.Introduction to virtual storytelling 2.Petri Nets 3.Our improvements in Petri Nets 4.Example.
Petri Nets: Their Development and Use in Production Planning Jeffrey E. Short, P.E. December 6, 2000.
Stochastic Activity Networks ( SAN ) Sharif University of Technology,Computer Engineer Department, Winter 2013 Verification of Reactive Systems Mohammad.
C. André, J. Boucaron, A. Coadou, J. DeAntoni,
Computer Organization & Programming Chapter 5 Synchronous Components.
Generalized stochastic Petri nets (GSPN)
Hardware Design and The Petri Net Abhijit K. Deb SAM, LECS, IMIT, KTH Kista, Stockholm.
Petri Nets Lecturer: Roohollah Abdipour. Agenda Introduction Petri Net Modelling with Petri Net Analysis of Petri net 2.
Modelling by Petri nets
Ch5: Software Specification. 1 Petri Nets  Introduced by C. Adams Petri in  Widely used in the modeling and analysis of computer systems.  Basic.
School of Computer Science, The University of Adelaide© The University of Adelaide, Control Data Flow Graphs An experiment using Design/CPN Sue Tyerman.
1 Copyright  2001 Pao-Ann Hsiung SW HW Module Outline l Introduction l Unified HW/SW Representations l HW/SW Partitioning Techniques l Integrated HW/SW.
CSCI1600: Embedded and Real Time Software Lecture 11: Modeling IV: Concurrency Steven Reiss, Fall 2015.
School of Computer Science & Software Engineering
CAP 4800/CAP 5805: Computer Simulation Concepts
/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,
/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,
2008/10E-Enterprise Integration - eEI1 Lecture 6 Petri Net Techniques for Modeling Workflows and Their Support of Reuse.
Turing Machine Model Are there computations that no “reasonable” computing machine can perform? –the machine should not store the answer to all possible.
Week 8 Computational Level
Requirements Techniques, cont.
Concurrent Systems Modeling using Petri Nets
Chapter 11: Artificial Intelligence
Main issues: • What do we want to build • How do we write this down
Dr. Eng Amr T. Abdel-Hamid
Clockless Computing COMP
Event Relation Graphs and Extensions in Ptolemy II
Object-Oriented Analysis
COT 5611 Operating Systems Design Principles Spring 2014
UML Activity Diagrams & State Charts
CAP 4800/CAP 5805: Computer Simulation Concepts
CAP 4800/CAP 5805: Computer Simulation Concepts
Chapter 14: Activity Diagrams
Introduction to Petri Nets (PNs)
COT 5611 Operating Systems Design Principles Spring 2012
Chapter 14: Activity Diagrams
An Introduction to Petri Nets
CAP 4800/CAP 5805: Computer Simulation Concepts
Chapter 14: Activity Diagrams
Petri nets.
CSCI1600: Embedded and Real Time Software
Petri Nets Laurie Frazier.
Presentation transcript:

Week 8 Computational Level CS 182 Week 8 Computational Level

Computational level Actions hierarchical goal-oriented Representations Petri Nets If we have time Grammars

Actions Hierarchy present in humans e.g. reflexes plans are usually hierarchical Rod Brooks hierarchical action system goal-oriented different levels and components interact e.g. exploring behavior versus safety behavior result: robust behaviors

X-Schemas and Petri Nets Finite State Machines – but better! Places hold tokens have semantic meaning Transitions can be enabled can fire consume tokens at inputs place tokens at outputs

Petri Nets Asynchronous any enabled transition can fire or not fire so we reason about what states are possible Analysis determine what states are possible determine how many times a transition might fire determine whether deadlock is possible etc.

X-Schemas Add several things timed stochastic inhibitory arcs enabling arcs

Stochastic petri nets t1 1 2 t2

Stochastic petri nets Random timing of transition firing exponential distribution gives rise to random choice of which transition will fire P(transition fires in the next tiny time|enabled) = f(transition) Then P(transition fires next|enabled) = f(transition) / sum(f(enabled transitions))

Stochastic petri net example 1 p0 What is P(t3 ever fires)? Under what conditions will it fire? What is P(t3 fires|token in p1)? What causes there to be a token in p1? What is P(t1 fires)? How do you combine these events? t2 t1 p2 p1 t4 t3 p4 p3

X-Schemas Active representation Has hierarchical actions defined by network structure Actions have structure (e.g. ready, iterating, ongoing, failed, complete) Properly-designed nets will be goal-directed take best actions to reach goal, given current context related to “reinforcement learning”