Automata (computation)

Petri net unfoldings

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).

Video thumbnail

PCB Wall

What to do with all those old PCBs from stuff you've taken apart...

From playlist Projects & Installations

Video thumbnail

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

Video thumbnail

HTML Links

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

Video thumbnail

Vector subtraction

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

Video thumbnail

Concept of a vector

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

Video thumbnail

Rope Trick for my neighborhood

During my show, a rope is spotted in my sleeve. I pull it...

From playlist My Magic

Video thumbnail

How to draw an ellipse like a boss

via YouTube Capture

From playlist Random

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

How I Use Simulink

This video I created to Simulink Student Challenge contest.

From playlist Simulink Student Challenge 2012 Entries

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

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.

Video thumbnail

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

Video thumbnail

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

Video thumbnail

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

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

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

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

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

Video thumbnail

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

Related pages

Petri net | Asynchronous circuit | Signal transition graphs