Analysis of Petri nets can be performed by means of constructing either reachable state spaces (or reachable markings) or via the process of graph-based unfolding. The prefix of a Petri net unfolding, which is an acyclic Petri net graph, contains the same information about the properties of the Petri net as the reachability graph, plus it contains information about sequence, concurrency and conflict relations between Petri net transitions and Petri net places. The advantages of the use of unfolding in practice are typically associated with the fact that the unfolding prefix is much more compact than the reachability graph of the Petri net being analysed. Petri net unfoldings were originally introduced by Ken McMillan. Later they were studied by several authors, who improved the original criterion for producing the prefix of the unfolding in terms of its compactness and hence efficient analysis. There are applications of Petri net unfoldings in the analysis and synthesis of concurrent systems and asynchronous circuits. The latter is normally achieved through the use of Signal transition graphs (STGs). (Wikipedia).
What to do with all those old PCBs from stuff you've taken apart...
From playlist Projects & Installations
Now You Know: Bursting Balloons
When you stick a needle in a balloon, the rubber tears—the balloon pops. But high-speed video reveals the details, and there are some surprises to be had. How does the rubber unzip as it tears? It’s different for a round balloon and a longer balloon-animal balloon. And if the balloon is fi
From playlist Now You Know
In this video, you’ll learn about how links function in HTML. We hope you enjoy! To learn more, check out our Basic HTML tutorial here: https://edu.gcfglobal.org/en/basic-html/ #html #links #coding
From playlist HTML
This shows an interactive illustration that shows vector subtraction. The clip is from the book "Immersive Linear Algebra" at http://www.immersivemath.com.
From playlist Chapter 2 - Vectors
This shows an small game that illustrates the concept of a vector. The clip is from the book "Immersive Linear Algebra" at http://www.immersivemath.com
From playlist Chapter 2 - Vectors
Rope Trick for my neighborhood
During my show, a rope is spotted in my sleeve. I pull it...
From playlist My Magic
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.
This video I created to Simulink Student Challenge contest.
From playlist Simulink Student Challenge 2012 Entries
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
Chemnitz - Karl-Marx-Stadt - Bilder deutscher Städte (1983)
TV-Dokumentation. Ein CHRONOS Film von 1983, ausgestrahlt in der ARD. Chemnitz, Karl-Marx-Stadt, Sonnenberg, Industriestadt, Jakobi-Kirche, Petri-Kirche, Sachsen, Lokomotive Richard Hartmann, Reinecker, Mai-Kundgebung, Gustav Noske, Volksstimme, Richard Tauber, Carola-Hotel, Gut Heil, Dik
From playlist Bilder deutscher Städte: Chemnitz, Leipzig, Dresden u.w.
What is the Universe expanding into?
Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu
From playlist Science Unplugged: Cosmology
TOC 2013, "Henry Jenkins in Conversation with Brian David Johnson and Cory Doctorow"
TOC 2013, Henry Jenkins in Conversation with Brian David Johnson and Cory Doctorow
From playlist Tools of Change for Publishing (TOC) 2013
LSOP Live: The Water Show, January 15, 2021
What’s so special about water? Quite a bit, as it turns out! In this episode, we show you a dozen simple experiments you can do that illustrate the special properties of water. We make water freeze on command, make a stream of water follow a string, use water to lift writing off glass, and
From playlist LSOP Live
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
Your Daily Equation | Live Q&A with Brian Greene
Live Q&A with Brian Greene - #YourDailyEquation: Join a live session with Brian Greene, 3 PM EDT. Relativity, quantum, the universe -- ask him anything that's on your mind. We’d love to see & hear your questions for future Q&As with Brian Greene. Send us a video (less than 20 seconds ple
From playlist Your Daily Equation with Brian Greene
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
Double Dwell Reciprocating 3D Model
Based on a video from https://www.youtube.com/user/thang010146. This user has hundreds of amazing videos with mechanisms. This one can be seen here: https://www.youtube.com/watch?v=8h9mjKA5SjQ. Free 3D model at https://skfb.ly/onUTn.
From playlist Mechanisms
Bob Hearn – Rectangular Unfoldings of Polycubes – G4G14 Apr 2022
Are there any polycubes that can be cut along the edges and unfolded into exactly a rectangle? This was an open problem until last year. The answer leads to a mechanical puzzle of moderate difficulty.
From playlist G4G14 Videos