Virtual Storytelling Adam Abonyi Daniel Balaš. Agenda 1.Introduction to virtual storytelling 2.Petri Nets 3.Our improvements in Petri Nets 4.Example.

Slides:



Advertisements
Similar presentations
1 SE-561 Formal Methods in Software Petri Nets - I.
Advertisements

Principles of Engineering System Design Dr T Asokan
Introduction to Petri Nets Hugo Andrés López
Based on: Petri Nets and Industrial Applications: A Tutorial
1 Modeling based on Petri-nets. Lecture 8. 2 High-level Petri nets The classical Petri net was invented by Carl Adam Petri in A lot of research.
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.
Petri Nets Overview 1 Definition of Petri Net C = ( P, T, I, O) Places P = { p 1, p 2, p 3, …, p n } Transitions T = { t 1, t 2, t 3, …, t n } Input.
XML Documentation of Biopathways and Their Simulations in Genomic Object Net Speaker : Hungwei chen.
1 CS 691z/791z Topics in Software Engineering Chapter 13: Activity Diagrams & Chapter 19: Basic Statecharts [Arlow and Neustadt, 2002] March 8, 2007.
Lecture 6 & 7 System Models.
Models of Computation for Embedded System Design Alvise Bonivento.
/faculteit technologie management DEMO CPN-tools Ronny Mans Eindhoven University of Technology, Faculty of Technology Management, Department of Information.
Chapter 5: Specification Yuanfang Cai CS751 Jan 29, 2003.
Web Services Experience Language Web Services eXperience Language Technical Overview Ravi Konuru e-Business Tools and Frameworks,
System Models Hoang Huu Hanh, Hue University hanh-at-hueuni.edu.vn Lecture 6 & 7.
Modeling Immune Networks with Petri Nets Bogdan Tanasa 1 and Stefan-Ciprian Tanasa 2 1 Faculty of Medicine, “Gr. T. Popa” University, Iasi, Romania 2 Faculty.
An Introduction to Petri Nets Marjan Sirjani Formal Methods Laboratory University of Tehran.
1 Extend is a simulation tool to create models quickly, with all the blocks you need and without even having to type an equation. You can use a series.
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.
Hardware Design and The Petri Net Abhijit K. Deb SAM, LECS, IMIT, KTH Kista, Stockholm.
Petri Nets Invented by Carl Adam Petri in 1962 Concurrent systems with timing problems  Synchronization, race problem, deadlock A petri net consists of.
UML Discussion on State Machines Perfectly static system is intensely uninteresting Because nothing ever happens.
Modelling by Petri nets
Introduction of Intelligent Agents
Ch5: Software Specification. 1 Petri Nets  Introduced by C. Adams Petri in  Widely used in the modeling and analysis of computer systems.  Basic.
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,
INTRODUCTION JavaScript can make websites more interactive, interesting, and user-friendly.
CS 145A Protocols Netlab.caltech.edu/course. Misc. Extension Extension Textbooks Textbooks.
/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.
Done by Fazlun Satya Saradhi. INTRODUCTION The main concept is to use different types of agent models which would help create a better dynamic and adaptive.
Week 8 Computational Level
Laurea Triennale in Informatica – Corso di Ingegneria del Software I – A.A. 2006/2007 Andrea Polini VIII. Specifications (II)
Requirements Techniques, cont.
Advantages of FSM Their simplicity make it easy for inexperienced developers to implement with little to no extra knowledge (low entry level)
Marlon Dumas Institute of Computer Science
Concurrent Systems Modeling using Petri Nets
CPE555A: Real-Time Embedded Systems
Chapter 5: MACHINATIONS
CSS 496 Business Process Re-engineering for BS(CS)
Smart Ethernet I/O P2P and GCL Introduction
Exercise class 1.
2. Specification and Modeling
Clockless Computing COMP
Week 8 Computational Level
Introduction to Events
Stochastic Activity Networks
UML Activity Diagrams & State Charts
Concurrent Systems Modeling using Petri Nets – Part II
Workflow Management Systems
CAP 4800/CAP 5805: Computer Simulation Concepts
CAP 4800/CAP 5805: Computer Simulation Concepts
CSCI1600: Embedded and Real Time Software
Modeling based on Petri-nets.
Petri nets refresher Prof.dr.ir. Wil van der Aalst
Marlon Dumas Institute of Computer Science
An Introduction to Petri Nets
CAP 4800/CAP 5805: Computer Simulation Concepts
Petri nets refresher Prof.dr.ir. Wil van der Aalst
Petri nets.
CSCI1600: Embedded and Real Time Software
Petri Nets Laurie Frazier.
Presentation transcript:

Virtual Storytelling Adam Abonyi Daniel Balaš

Agenda 1.Introduction to virtual storytelling 2.Petri Nets 3.Our improvements in Petri Nets 4.Example

Storytelling □Storyteller tells a tale or a story □At a campfire, by the bed… □The storyline is adapted to the storytellers needs and to the reactions of the listeners

Virtual Storytelling □Application = storyteller □The plot is designed in advance □The storyline is influenced by the actions of the viewer

Our Solution Petri Nets: □Graphical and Modeling tool □Petri nets are useful tool for describing and studying systems that are characterized as being concurrent, asynchronous, nondeterministic, and/or stochastic

Our Goals □Allow designers to easily and intuitively create virtual stories □Coherency of the story in the virtual world □Good artificial intelligence of the actors □Application, that will allow the user interaction with the story

Petri Nets

□Petri net is a graphical and mathematical modeling tool □Consists of only 3 main elements: places transitions arcs

Petri Nets Name Place Name Transition Arc Token Main Elements: T1 P1 P2 Simple Petri Net example:

Rules: □Connections have a direction □Connection lead only from a place to transition or from a transition to a place □Places may contain zero or more tokens Petri nets p1 t1 p2 p1 p2p3

Firing : □Only enabled transitions can fire □Consumes a token from each input place and adds a token to each output place Transitions Enabled: □All input places contain a token p1 t1 p2 p1 t1 p2

Petri Net Example: Traffic Lights Signal green Go Warning Signal yellow Signal Red Stop

Petri Nets extension

Storytelling PN Name Container Name Trigger Main Elements: Token Name T1 C2C1 C3 Petri net Event World Event

Tokens □Name – defines the token □Age – token age (changes according to the flow of time in the virtual world) □Object (optional) – specifies if the token is attached to a virtual world object Name x Age x [Object] Name

Containers □Name □Group of Tokens Name Name x {Token}

Triggers □Name of the trigger □Preconditions that enable the trigger - which containers must contain tokens - what are the required properties of tokens □Consequences that the trigger will have - which tokens will be placed in which containers Name

Storytelling PN We call: □ Containers as places in standard PN □ Triggers as transitions in standard PN □Arcs are part of triggers □Token is one of the main element

Story □Containers are the entry point into the Petri nets □Triggers can change the behavior of the actors in the virtual world □Tokens represent a object state or certain world object Push btn Button pushed

Example of a simple scene Steal Present Adam wants to steal a present CaughtStolen Policeman nearbyAt Shop Run awayGive To Eve PresentCaught Petri NetVirtual World starring: Adam & Eve Mr. Policeman Shop full of presents

Example of a simple scene Steal Present Adam wants to steal a present CaughtStolen Policeman nearbyAt Shop Run awayGive To Eve PresentCaught Petri NetVirtual World

Example of a simple scene #2 Steal Present Adam wants to steal a present CaughtStolen Policeman nearbyAt Shop Run awayGive To Eve PresentCaught Petri NetVirtual World

Usage Drama manager: □Contains the Petri nets and also has an eye into the virtual world □Realizes the story in the virtual world □Controls the Petri nets depending on the state of the virtual world □Changes the behavior of the virtual agents

Usage - Advantages □The story that takes place in the world stays in the desired tracks, even thou some parts may be completed in many different ways. □Plot is designed in key points. ** domyslet □Reacts directly to the things that are happening in the world and allows the plot to continue.

Gardener IVE Demo

Questions and Answers Thanks for listening more information at: