1 MetaPetrinets brief introduction to the concept Vagan Terziyan University of Jyvaskyla, Finland

Slides:



Advertisements
Similar presentations
Eugene Syriani and Huseyin Ergin University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.
Advertisements

1 Petri Nets I Paul Fishwick author From
A university for the world real R © 2009, Chapter 3 Advanced Synchronization Moe Wynn Wil van der Aalst Arthur ter Hofstede.
Based on: Petri Nets and Industrial Applications: A Tutorial
Methods for Knowledge Based Controlling of Distributed Systems Saddek Bensalem, Marius Bozga, Susanne Graf, Doron Peled, Sophie Quinton.
Introduction to Graph “theory”
FINAL YEAR PROJECT 2013/2014 UNIVERSITI MALAYSIA PERLIS
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.
On the Dynamics of PB Systems with Volatile Membranes Giorgio Delzanno* and Laurent Van Begin** * Università di Genova, Italy ** Universitè Libre de Bruxelles,
Industrial Ontologies Group University of Jyväskylä PRIME Project Idea “Proactive Inter-Middleware for Self- Configurable Heterogeneous Cloud Ecosystems”
Equivalence of open Petri nets Modeling and analysis with Petri net components. Marc Voorhoeve (AIS)
1 Public Commerce brief introduction of the concept Vagan Terziyan University of Jyvaskyla, Finland
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.
CS447/ECE453/SE465 Prof. Alencar University of Waterloo 1 CS447/ECE453/SE465 Software Testing Tutorial Winter 2008 Based on the tutorials by Prof. Kontogiannis,
TLI371 – Distributed Artificial Intelligence in Mobile Environment Course Introduction Vagan Terziyan Department of Mathematical Information Technology.
XML Documentation of Biopathways and Their Simulations in Genomic Object Net Speaker : Hungwei chen.
Date of presentation 1 PROJECT IDEA Topic: PRIME: “Proactive Inter-Middleware for Self- Configurable Heterogeneous Cloud EcoSystems” –Objective Cloud Computing,
Geography 1000B Essay Requirements Topic Physical geography-related topic of your choice Proposal due: February 10 (value – 5%) Essay due: March 24 (value.
A Similarity Evaluation Technique for Data Mining with Ensemble of Classifiers Seppo Puuronen, Vagan Terziyan International Workshop on Similarity Search.
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors Student: Yifei Bao 1, Tommy E. White 2, Advisor: Adriana B.
An Interval Approach to Discover Knowledge from Multiple Fuzzy Estimations Vagan Terziyan * & **, Seppo Puuronen **, Helen Kaikova * *Department of Artificial.
12/07/2007Jiacun Wang1 SE-561 Math Foundations Petri Nets - II Dr. Jiacun Wang Department of Software Engineering Monmouth University.
AAECC’99 Honolulu November 1999 Flexible Arithmetic for Huge Numbers with Recursive Series of Operations Vagan Terziyan*, Alexey Tsymbal**, Seppo Puuronen**
A Technique for Advanced Dynamic Integration of Multiple Classifiers Alexey Tsymbal*, Seppo Puuronen**, Vagan Terziyan* *Department of Artificial Intelligence.
21 21 Web Content Management Architectures Vagan Terziyan MIT Department, University of Jyvaskyla, AI Department, Kharkov National University of Radioelectronics.
Mining Several Databases with an Ensemble of Classifiers Seppo Puuronen Vagan Terziyan Alexander Logvinovsky 10th International Conference and Workshop.
23/03/2007 mail-to: site: A Security Framework for Smart Ubiquitous.
A Similarity Evaluation Technique for Cooperative Problem Solving with a Group of Agents Seppo Puuronen, Vagan Terziyan Third International Workshop CIA-99.
Intelligent Web Applications (Part 1) Course Introduction Vagan Terziyan AI Department, Kharkov National University of Radioelectronics / MIT Department,
1 The Law of Semantic Balance brief introduction of the concept Vagan Terziyan University of Jyvaskyla, Finland
Approaching Web-Based Expertise with Semantic Web Kimmo Salmenjoki: Department of Computer Science, University of Vaasa, Vagan Terziyan: Department.
1 A Semantic Metanetwork Vagan Terziyan University of Jyvaskyla, Finland
ONTOLOGY-BASED INTERNATIONAL DEGREE RECOGNITION Vagan Terziyan, Olena Kaykova University of Jyväskylä, Finland Oleksandra Vitko, Lyudmila Titova (speaker)
Intelligent Web Applications (Part 1) Course Introduction Vagan Terziyan AI Department, Kharkov National University of Radioelectronics / MIT Department,
ESA PetriNet: Petri Net Tool for Reliability Analysis Romaric Guillerm, Nabil Sadou, Hamid Demmou 14 Oct LAAS-CNRS.
Fuzzy Petri Nets of Education
Capacity analysis of complex materials handling systems.
CY2003 Computer Systems Lecture 7 Petri net. © LJMU, 2004CY2003- Week 72 Overview Petri net –concepts –Petri net representation –Firing a transition –Marks.
“Simulating Mechanics to Study Emergence in Games” – Joris Dormans Juney Dijkstra Method Engineering 2012/2013.
A Formal Security Model for Collaboration in Multi-agency Networks Salem Aljareh Newcastle University, UK Nick Rossiter & Michael Heather Northumbria University,
ALEKS is a Research-Based, Online Math Program for grades 3-12 www
Integrating UML and Petri Nets Problem with Current Software Engineering Methodology Stochastic Petri nets and their useful properties Translating UML.
Generalized stochastic Petri nets (GSPN)
Petri Nets Lecturer: Roohollah Abdipour. Agenda Introduction Petri Net Modelling with Petri Net Analysis of Petri net 2.
CAP 4800/CAP 5805: Computer Simulation Concepts
Modelling by Petri nets
Statistics in Applied Science and Technology Supplemental: Elaborating Crosstabs: Adding a Third Variable.
M.Sc. and Ph.D. in Computational Science Department of Mathematics Faculty of Science Chulalongkorn University.
School of Computer Science, The University of Adelaide© The University of Adelaide, Control Data Flow Graphs An experiment using Design/CPN Sue Tyerman.
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,
How Chinese Teach Mathematics Anna Larzelere - Wednesday, March 21,
/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,
Petri-Nets and Other Models
Research Direction Introduction Advisor: Frank, Yeong-Sung Lin Presented by Hui-Yu, Chung 2011/11/22.
Modeling and simulation of systems Basic simulation concepts Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Chanchal C Sarkar DY. Director, Trade Policy Division Department of Commerce, Ministry of Commerce & Industry TBT Agreement : Key Principles.
Turing Machine Model Are there computations that no “reasonable” computing machine can perform? –the machine should not store the answer to all possible.
“Computational Wisdom and Self-Computing” research group objectives
Concurrent Systems Modeling using Petri Nets
KNOWLEDGE MODELING FOR PROGRAM PLANNING
Communication DIAGRAM
Stochastic Activity Networks
CAP 4800/CAP 5805: Computer Simulation Concepts
CAP 4800/CAP 5805: Computer Simulation Concepts
Communication DIAGRAM
CAP 4800/CAP 5805: Computer Simulation Concepts
Petri nets refresher Prof.dr.ir. Wil van der Aalst
Petri Net :Abstract formal model of information flow Major use:
Petri Nets Laurie Frazier.
Presentation transcript:

1 MetaPetrinets brief introduction to the concept Vagan Terziyan University of Jyvaskyla, Finland

2 MetaPetriNets

3 Petri Net place transition link token firing rule

4 A Metapetrinet A metapetrinet is able not only to change the marking of a petrinet but also to reconfigure dynamically its structure Each level of the new structure is an ordinary petrinet of some traditional type. A basic level petrinet simulates the process of some application. The second level, i.e. the metapetrinet, is used to simulate and help controlling the configuration change at the basic level.

5 How it Works 4 There is conformity between the places of the second level structure and places or transitions of the basic level structure. 4 One possible control rule is such that a certain place or transition is removed from the present configuration of the basic level if the corresponding place at the metalevel becomes empty. 4 If at least one token appears to an empty metalevel place, then the originally defined corresponding basic level place or transition immediately is created back to the configuration

6 Example of a Metapetrinet

7 Controlling Interactions between Metapetrinet’s Levels

8 Terziyan V., Multilevel Models for Knowledge Bases Control and Their Applications to Automated Information Systems, Doctor of Technical Sciences Degree Thesis, Kharkov State Technical University of Radioelectronics, Savolainen V., Terziyan V., Metapetrinets for Controlling Complex and Dynamic Processes, International Journal of Information and Management Sciences, V. 10, No. 1, March 1999, pp Published and Further Developed in