Posts

Showing posts from April, 2018

Software Engineering: Petri Nets

Image
This'll be a sort of  abridged  summary of the topic, any more information you might need, I recommend you try the book (name in bottom of the post). The circles are states in the domain. With the arrows pointing to where the process is going And the thin rectangles the transitions between states  Petri Nets are basically a diagram to help us visualize the process and how it flows in a domain. In this chapter we talk about three types of representations: Condition Event Nets (CEN) Petri Nets (PTN) Colored Petri Nets (CPN) Condition Event Nets are the most basic type of Petri nets. A CEN consists of conditions (states), events (transitions) and links (arrows) from conditions to events and from events to conditions. Syntactically conditions are represented as circles, while events are represented as oblong, i.e., "thin", rectangles. Petri Nets  are pretty much the same as CENs but conditions are now called places and in those places ar