This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Petri Net based semantic engine Vivek Singh, SEECS, UCF
Feb 7, 2002 What are Petri Nets?
…for the uninitiated A Petri Net is a 5 tuple (P,T,F,W,M0)
where
P = {p0, p1, p2, … pm} is a finite set of places.
T = {t0, t1, t2, … tm} is a finite set of transitions.
F is a subset of (PXT) U (TXP) .This is the set of arcs.
W : F → {1,2,3…} is a weight function for the arcs.
M0: P → {0,1,2,3…} is the function for initial markings.
Also, the following constraints apply,
P ∩T = Ø i.e. no place can be a transition and viceversa.
Pictorially, a Petri Net looks like this An Example of Pictorial Representation A model for the classic ReaderWriter Problem Courtesy Internet Based Workflow Management: Toward a Semantic Web, Dan C Marinescu, Wiley 2002, pp137. Motivation …not necessarily in the order of Importance Agent description using Petri Nets. To be able to describe the structure of the agent in terms of a standard formal representation – Petri Nets. Once the agent has been described formally as a (particular type of) PN, the multi plane structure can be obtained from that specification using formal techniques detailed in [4].
Maturity of formalism Been around for 3035 years. Been used for modeling in many areas. Lots of tools available. Industrial use of PN prevalent. Background PNML at Humboldt University at Berlin. Petri Net Markup Language [6]. Other efforts elsewhere. Standardization. XMLbased interchange format for Petri nets. Originally for Petri Net Kernel [7]. Source code available. University of Hamburg at Hamburg. Colored Petri Nets to model the structure and behavior of agents. Similar to Bond in terms of their use of subprotocols and multiple threads of control. Multiplane architecture not present, however. Objectives
Phase 1 Design and Implementation of a translator that converts a Petri Net model into an internal data structure (Use of Petri Net Kernel envisaged) . the semantic engine that takes that data structure and performs the corresponding actions (Ideas to be borrowed from [4]). Decompose the PN to multiple FSMs and represent them in form of a Blueprint. Phase 2 Integration into Bond. Literature Survey
1. Petri Nets: Properties, Analysis and Applications. T. Murata, Proceedings of the IEEE, Vol. 77, No 4, April, 1989, pp. 541580.
A general Introduction to Petri Nets.
2. Internet Based Workflow Management: Toward a Semantic Web, Dan C Marinescu, Wiley 2002. Chapter 3, Net Models for Distributed Systems and Workflows.
Another general Introduction to Petri Nets.
3. A Framework for Modeling AgentOriented Software, Haiping Xu and Sol M. Shatz, Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS21), April 1619, 2001, Phoenix, Arizona, USA, pp.5764. Among other things, illustrates the use of. Petri Nets for modeling Agent Oriented Software
http://www.cs.uic.edu/~shatz/papers/icdcs01.pdf Literature Survey
4. The Isomorphism Between a Class of Place Transition Nets and a MultiPlane State Machine Agent Model. Krzysztof Palacz, Ladislau Boloni, and Dan C. Marinescu. Nov 1999.
Translation of agent description from Blueprint to Petri Nets and vice versa.
http://citeseer.nj.nec.com/393163.html 5. Modeling the Structure and Behavior of Petri Net Agents. Michael Kohler, Daniel Moldt, Heiko Rolke. Looks at another way to model the structure and behavior of agents which is different from bond.
http://link.springer.de/link/service/series/0558/papers/2075/20750224.pdf 6. Petri Nets Markup Language www.informatik.huberlin.de/top/pnml/detail.html
7. Petri Net Kernel www.informatik.huberlin.de/top/pnk/index.html ...
View Full
Document
 Summer '11
 Staff

Click to edit the document details