An algebraic Petri net (APN) is an evolution of the well known Petri net in which elements of user defined data types (called algebraic abstract data types (AADT)) replace black tokens. This formalism can be compared to coloured Petri nets (CPN) in many aspects. However, in the APN case, the semantics of the data types is given by an axiomatization enabling proofs and computations on it. Algebraic Petri nets were invented by Jacques Vautherin in 1985 in his PhD thesis and later improved by Wolfang Reisig. The formalism has two aspects : * The control part which is handled by a Petri net. * The data part which is handled by one or many AADTs. AADT can be themselves split in two parts: * The signature (Sort and Ops in the example below) which gives the valid constants and operations of the term algebra. * The axiomatization (Axioms in the example below) which gives the semantics of the operations described in the signature part. The following picture describes an algebraic Petri net model of the "dining philosophers problem". There are two AADT in this model, one for the forks algebra, one for the philosophers algebra. Please note that the philosophers AADT uses the fork AADT. Since all philosophers can take their left fork without taking their right fork, executing this model can result in a deadlock. The control part is composed of : * Places contain multiset (bags) of tokens. Those tokens are elements of a term algebra built upon the signature of the AADT (in the example, terms that represent either a philosopher or a fork). Each place contains one and only one multiset of terms, the place is typed by its multiset. * Arcs can be labeled with multisets of either closed or free terms. Again terms are built from the AADT signature. * Transitions are events that can be fired whenever there are enough resources (namely enough tokens in the input places to satisfy all the input arcs) and the guard (firing conditions) of the transition holds. Then the produced tokens are put in the target places of the output arcs. Usually term rewriting is used for the operational semantics in order to check if conditions hold and to compute output terms. In the example below only transition goEat is firable at the beginning. One goEat has been fired, takeL and takeR are also enabled and thus can also be fired. Algebraic Petri nets are the basic formalism of more advanced ones such as CO-OPN. (Wikipedia).
Algebraic Expressions (Basics)
This video is about Algebraic Expressions
From playlist Algebraic Expressions and Properties
Maxima and Minima for Quadratic and Cubics | Algebraic Calculus One | Wild Egg
Tangents of algebraic curves are best defined purely algebraically, without recourse to limiting arguments! We apply our techniques for finding such tangents to derive some familiar results for quadratic and cubic polynomial functions and their maxima and minima. We compare also with the c
From playlist Algebraic Calculus One
The Video going to guide how to make quadratic function with graph. lets see the video to make it, it's easy.
From playlist CALCULUS
Parametrization of the Unit Circle | Algebraic Calculus One | Anna Tomskova
Dr Anna Tomskova explains how to obtain the rational parametrization of the unit circle. This is a very important ingredient to understanding not only circle geometry, but also the associated circular functions arising in the Algebraic Calculus. ************************ Screenshot PDFs fo
From playlist Algebraic Calculus One
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
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.
Compositionality Journal: A quick look at the first papers
In this video I take a first look at the papers of the newly announced Compositionality Journal that relates to the "Applied Category Theory" crowd. Here's all the links shown in this video: https://gist.github.com/Nikolaj-K/7ea620559982c99618dd1032e1e8389f The papers are * Network models
From playlist Algebra
A conversation between Jonathan Gorard and Stephen Wolfram at the Wolfram Summer School 2022
Stephen Wolfram plays the role of Salonnière in an on-going series of intellectual explorations with special guests. In this episode, Jonathan Gorard joins Stephen at the 20th annual Wolfram Summer School. Watch all of the conversations here: https://wolfr.am/youtube-sw-conversations Foll
From playlist Conversations with Special Guests
An interesting homotopy (in fact, an ambient isotopy) of two surfaces.
From playlist Algebraic Topology
Bi Polynumbers and Tangents to Algebraic Curves | Algebraic Calculus One | Wild Egg
We introduce the important technology of defining, and computing the tangent line to an algebraic curve at a point lying on it. We start with a discussion on bi polynumbers, which are two dimensional arrays that are equivalent to polynomials in two variables, but without us having to fret
From playlist Algebraic Calculus One from Wild Egg
Live CEOing Ep 490: Design Review of Chemistry Functions
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram
From playlist Behind the Scenes in Real-Life Software Design
Fitting a polynomial with GeoGebra | Algebraic Calculus One | Anna Tomskova
Dr Anna Tomskova shows how to use GeoGebra to fit a polynomial to a sequence and then use that for extrapolation and interpolation. ************************ Screenshot PDFs for my videos are available at the website http://wildegg.com. These give you a concise overview of the contents of
From playlist Algebraic Calculus One
AlgTop8: Polyhedra and Euler's formula
We investigate the five Platonic solids: tetrahedron, cube, octohedron, icosahedron and dodecahedron. Euler's formula relates the number of vertices, edges and faces. We give a proof using a triangulation argument and the flow down a sphere. This is the eighth lecture in this beginner's
From playlist Algebraic Topology: a beginner's course - N J Wildberger
Live CEOing Ep 491: Language Design in Wolfram Language [Multiway Computation]
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram
From playlist Behind the Scenes in Real-Life Software Design
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
Algebraic Calculus One ... and Two! | Algebraic Calculus Info | N J Wildberger
The online course Algebraic Calculus One at openlearning.com has had its first beta run at openlearning.com over the last two years. Overall it has been a very pleasant success. In this video we recount the main innovative aspects of this purely algebraic approach to a classical subject. T
From playlist Algebraic Calculus One Info
Petrie polygons of a polyhedron | Universal Hyperbolic Geometry 52
John Flinders Petrie was the son of the famed Egyptologist Flinders Petrie, and a good friend of Donald Coxeter. He discovered lovely polygonal paths on polytopes or polyhedra, that in the case of the Platonic solids have remarkable properties when we project these solids orthogonally onto
From playlist Universal Hyperbolic Geometry
Linearly Parametrized Curves | Algebraic Calculus One | Wild Egg
Parametrized curves figure prominently in the Algebraic Calculus, and they coincide with de Casteljau Bezier curves. The simplest case are the linearly parametrized curves given by a pair of linear polynomials of polynumbers. This gives us an alternate view of oriented polygonal splines.
From playlist Algebraic Calculus One
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
Welcome to Algebraic Calculus One!
In 2018, we are going to re-landscape the Garden of Calculus. Things will be moved around, put in better positions, decent walkways will be installed, new exhibits will be introduced, and there will be lots of fun Activities in the shape of Problems and Questions. The course aims to brin
From playlist Algebraic Calculus One Info