Petri nets

Coloured Petri net

Coloured Petri nets are a backward compatible extension of the mathematical concept of Petri nets. Coloured Petri nets preserve useful properties of Petri nets and at the same time extend the initial formalism to allow the distinction between tokens. Coloured Petri nets allow tokens to have a data value attached to them. This attached data value is called the token color. Although the color can be of arbitrarily complex type, places in coloured Petri nets usually contain tokens of one type. This type is called the color set of the place. Definition 1. A net is a tuple N = (P, T, A, Σ, C, N, E, G, I ) where: * P is a set of places. * T is a set of transitions. * A is a set of arcs In coloured Petri nets, sets of places, transitions and arcs are pairwise disjoint P ∩ T = P ∩ A = T ∩ A = ∅ * Σ is a set of color sets. This set contains all possible colors, operations and functions used within the coloured Petri net. * C is a color function. It maps places in P into colors in Σ. * N is a node function. It maps A into (P × T) ∪ (T × P). * E is an arc expression function. It maps each arc a ∈ A into the expression e. The input and output types of the arc expressions must correspond to the type of the nodes the arc is connected to. Use of node function and arc expression function allows multiple arcs connect the same pair of nodes with different arc expressions. * G is a guard function. It maps each transition t ∈ T to a guard expression g. The output of the guard expression should evaluate to a Boolean value (true or false). If false, t cannot be fired. * I is an initialization function. It maps each place p into an initialization expression i. The initialization expression must evaluate to multiset of tokens with a color corresponding to the color of the place C(p). A well-known program for working with coloured Petri nets is cpntools. (Wikipedia).

Video thumbnail

Why these colored droplets appear to be alive

The tension mounts as these colored drops play cat and mouse! More here : http://scim.ag/1Ms6blN Video credit: Nate Cira, Manu Prakash

From playlist Materials and technology

Video thumbnail

Red Cabbage Indicator

A universal indicator made from cabbage changes color when acids (vinegar) and bases (ammonia) are added to it. This is a simple experiment that can be done at home with stuff you can buy at your local market.

From playlist Chemistry

Video thumbnail

Colored Shadows Exhibit I Exploratorium

Not all shadows are black. Red, green, and blue lights shine on this wall, combining to make white. As you move in front of the wall, your body can block one, two, or all three of the lights, resulting in shadows of various colors.

From playlist Exploratorium Exhibits

Video thumbnail

Can You Believe It? #10 What Is White Light?

Visit http://ilectureonline.com for more math and science lectures! To donate: http://www.ilectureonline.com/donate https://www.patreon.com/user?u=3236071 I will demonstrate where does white light come from and “What is White Light?” Previous video in this series can be seen at: https:/

From playlist CAN YOU BELIEVE IT?

Video thumbnail

RGB Colour Mixer: 5. Simple User Input

This is the fifth in a series of videos about how to build an RGB colour mixer using Visual Basic.NET. This series covers the use of the VB.NET graphics object, along with a range of related objects and their methods for drawing and filling shapes on a Windows Form. This particular video

From playlist Images

Video thumbnail

mandelbrot fractal animation 4

blue, yellow and green.

From playlist Fractal

Video thumbnail

Spectacular Red Emulsion #Shorts

#Shorts #Chemistry #Red #SeparatoryFunnel

From playlist Rad Chemistry Experiments

Video thumbnail

5 Special Blue Chemicals

In this video, I show 5 absolutely astonishing blue chemicals! https://www.patreon.com/thatchemist Community Discord - https://discord.gg/QWNPETtPcZ ---------------------------------------------------------------------------------------------------------------------------------- Links t

From playlist Chemistry in Colors

Video thumbnail

Why these colored droplets appear to be alive

The brightly colored liquid drops shown in the video above chase each other wildly. Find out why! http://scim.ag/1Ms6blN Video credit: Nate Cira, Adrien Benusiglio, Manu Prakash

From playlist Materials and technology

Video thumbnail

Wolfram Physics Project: Relations to Category Theory

Stephen Wolfram and special guests discuss the Wolfram Physics Project and its relations to Category Theory. Begins at 9:50 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the announc

From playlist Wolfram Physics Project Livestream Archive

Video thumbnail

John Baez - Categories: the Mathematics of Connection - IPAM at UCLA

Recorded 16 February 2022. John Baez of University of California, Riverside, Mathematics presents "Categories: the Mathematics of Connection" at IPAM's Mathematics of Collective Intelligence Workshop. Abstract: As we move from the paradigm of modeling one single self-contained system at a

From playlist Workshop: Mathematics of Collective Intelligence - Feb. 15 - 19, 2022.

Video thumbnail

ALL OF EDEXCEL GCSE 9-1 BIOLOGY (2023) ⭐PAPER 1⭐ | Triple Award | GCSE Biology Revision

Science with Hazel's Perfect Answer Revision Guides for Edexcel GCSE Science are available at https://sciencewithhazel.co.uk TOPIC TIMINGS Plant & Animal Cells 0:50 Bacterial Cells 2:32 Specialised Cells 3:15 Cells, Tissues, Organs & Organ Systems 7:10 Microscopes 7:57 Calculating Magnif

From playlist Complete Edexcel GCSE (9-1) Triple Award Videos //

Video thumbnail

Petri nets live coding with Python

https://github.com/Nikolaj-K/petri-net/ https://statebox.org/ https://www.amazon.com/Understanding-Petri-Nets-Modeling-Techniques/dp/3642332773 https://en.wikipedia.org/wiki/Petri_net During the above live-coding, I get into an error as I named the __init__ function of some classes wrongly

From playlist Programming

Video thumbnail

The rare property of pumpkin seed oil - dichromatism

This liquid changes colour from green to red depending on thickness. It works because of it's unusual absorption spectrum but also becasue of the way our eyes perceive light. Visit my blog here: http://stevemould.com Follow me on twitter here: http://twitter.com/moulds Buy nerdy maths th

From playlist Experiments

Video thumbnail

Live CEOing Ep 265: Review of Functions Currently Tagged as "Experimental" in Wolfram Language

Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about Functions Currently Tagged as "Experimental" in the Wolfram Language.

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

AP Biology Labs - part 2

Paul Andersen explains the final 6 of 13 AP Biology Labs. The following topics are included: Transformation, Restriction Analysis of DNA, Energy Dynamics, Transpiration, Animal Behavior, and Enzyme Activity. Intro Music Atribution Title: I4dsong_loop_main.wav Artist: CosmicD Link to soun

From playlist AP Biology Labs

Video thumbnail

GCSE Science Revision Biology "Land Use"

Find my revision workbooks here: https://www.freesciencelessons.co.uk/workbooks In this video, we look at how human land use reduces biodiversity. We look closely at peat and the consequences of using this both on biodiversity and on global warming. Image credits: House By Simon Oliver

From playlist 9-1 GCSE Biology 2 Ecology

Video thumbnail

The QCD Axion (Lecture 1) by David Marsh

PROGRAM LESS TRAVELLED PATH OF DARK MATTER: AXIONS AND PRIMORDIAL BLACK HOLES (ONLINE) ORGANIZERS: Subinoy Das (IIA, Bangalore), Koushik Dutta (IISER, Kolkata / SINP, Kolkata), Raghavan Rangarajan (Ahmedabad University) and Vikram Rentala (IIT Bombay) DATE: 09 November 2020 to 13 Novemb

From playlist Less Travelled Path of Dark Matter: Axions and Primordial Black Holes (Online)

Video thumbnail

AQA Communicable Diseases - GCSE Biology Revision - SCIENCE WITH HAZEL

In this GCSE Biology revision video, Hazel focusses on the new AQA specification, chapter 5. She takes you through the topic of communicable diseases including examples of viruses, bacteria, fungi, and protists such as measles, salmonella, tobacco mosaic virus, rose black spot, gonorrhoe

From playlist GCSE & IGCSE Biology Revision //

Video thumbnail

Colorful Chemistry of Acids and Bases

Test the acidity of household products using something you can find in the supermarket: red cabbage. Want to try this experiment, but can't find red cabbage? Find a whole list of acid/base indicators here: http://bit.ly/M8bzwG License: Creative Commons BY-NC-SA More information at http:/

From playlist Materials

Related pages

Petri net