Formal methods tools | Petri nets

CPN-AMI

CPN-AMI is a computer-aided software engineering environment based on Petri Net specifications. It provides the ability to specify the behavior of a distributed system—and to evaluate properties such as invariants (preservation of resources), absence of deadlocks, liveness, or temporal logic properties (relations between events in the system). CPN-AMI relies on AMI-Nets, that are well-formed Petri nets with syntactic facilities. Well Formed Petri nets were jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s. This Petri net class supports symbolic techniques for model checking, and thus provides a very compressed way to store all states of a system. Since 2016 CPN-AMI has been listed by the owners as "still available but not maintained any more" (Lib6/MoVe Software at the Wayback Machine (archived May 5, 2016)). (Wikipedia).

Video thumbnail

NOTACON 9: Collaboration. You keep using that word... (EN) | Enh. audio

Speaker: Angela Harms Sure. You collaborate every day at work, right? Except you don't. Because collaboration is not the same as cooperation. Cooperation is where everybody does their part. Collaboration creates a solution that's more than the sum of those parts. Cooperation helps us cho

From playlist Notacon 9

Video thumbnail

全髋关节置换术

(English Version: https://www.youtube.com/watch?v=DosqbEy8ecY) http://www.nucleusinc.com/ - 这个三维动画介绍了右髋关节的全髋关节置换术。该手术包括切开、露出髋关节、放置髋臼修复假体(窝)、割掉发炎的股沟头、放置股骨头假体(球)。

From playlist 在中国医学动画

Video thumbnail

vhs logos - bliss

vhslogos.net

From playlist J A C K W A VE I N S P O

Video thumbnail

呼叫魚

好恐佈,咁都食得落口

From playlist Crazy Stuff

Video thumbnail

A.I. Just Designed An Enzyme That Eats Plastic

» Podcast I Co-host: https://www.youtube.com/channel/UC6jKUaNXSnuW52CxexLcOJg » ColdFusion Discord: https://discord.gg/coldfusion » Twitter | @ColdFusion_TV » Instagram | coldfusiontv --- About ColdFusion --- ColdFusion is an Australian based online media company independently run by Dag

From playlist Technology

Video thumbnail

Dimitri Zvonkine - Generalized Airy Functions...

Generalized Airy Functions and Givental's R-matrices for Projective Spaces and Witten's Class We call generalized Airy functions particular solutions of the differential equations f(n)(x)=xaf(x). We show that asymptotic expansions of generalized Airy functions contain coefficients of Giv

From playlist 2021 IHES Summer School - Enumerative Geometry, Physics and Representation Theory

Video thumbnail

Underactive thyroid.mov

An general explanation of the underactive thyroid.

From playlist For Patients

Video thumbnail

Dehn Twists Exact Sequences Through Lagrangian Cobordism - Weiwei Wu

Weiwei Wu University of Montreal October 23, 2015 https://www.math.ias.edu/seminars/abstract?event=85044 In this talk we first introduce a new "singularity-free" approach to the proof of Seidel's long exact sequence, including the fixed-point version. This conveniently generalizes to Deh

From playlist PU/IAS Symplectic Geometry Seminar

Video thumbnail

Symplectic Vortices And The Quantum Kirwan Map (Lecture 3 online) by Chris Woodward

PROGRAM: VORTEX MODULI ORGANIZERS: Nuno Romão (University of Augsburg, Germany) and Sushmita Venugopalan (IMSc, India) DATE & TIME: 06 February 2023 to 17 February 2023 VENUE: Ramanujan Lecture Hall, ICTS Bengaluru For a long time, the vortex equations and their associated self-dual fie

From playlist Vortex Moduli - 2023

Video thumbnail

Path products in projective space - Nancy Hingston

Nancy Hingston The College of New Jersey February 6, 2015 We compute the mod 2 homology of the space of paths in ℂPnCPn with endpoints in ℝPnRPn, and its algebra structure with respect to the Pontryagin-Chas-Sullivan product. Our method combines Morse theory with geometry. Joint work with

From playlist Mathematics

Video thumbnail

Disk counting via family Floer theory - Hang Yuan

Joint IAS/Princeton/Montreal/Paris/Tel-Aviv Symplectic Geometry Topic: Disk counting via family Floer theory Speaker: Hang Yuan Affiliation: Stony Brook University Date: May 28, 2021 Given a family of Lagrangian tori with full quantum corrections, the non-archimedean SYZ mirror construc

From playlist Mathematics

Video thumbnail

A simple Qubit Regularization Scheme for SU(N) Lattice Gauge Theories by Shailesh Chandrasekharan

PROGRAM NONPERTURBATIVE AND NUMERICAL APPROACHES TO QUANTUM GRAVITY, STRING THEORY AND HOLOGRAPHY (HYBRID) ORGANIZERS: David Berenstein (University of California, Santa Barbara, USA), Simon Catterall (Syracuse University, USA), Masanori Hanada (University of Surrey, UK), Anosh Joseph (II

From playlist NUMSTRING 2022

Video thumbnail

Machine- Learning the Landscape (Lecture 1) by Yang-Hui He

PROGRAM KAVLI ASIAN WINTER SCHOOL (KAWS) ON STRINGS, PARTICLES AND COSMOLOGY (ONLINE) ORGANIZERS Francesco Benini (SISSA, Italy), Bartek Czech (Tsinghua University, China), Dongmin Gang (Seoul National University, South Korea), Sungjay Lee (Korea Institute for Advanced Study, South Korea

From playlist Kavli Asian Winter School (KAWS) on Strings, Particles and Cosmology (ONLINE) - 2022

Video thumbnail

Shrinking Gradient Kahler-Ricci Solitons and Toric Geometry

Speaker: Charles Cifarelli (UC Berkeley) - Abstract: In this talk, I will present some recent work on the uniqueness of shrinking gradient K\"ahler-Ricci solitons on non-compact toric manifolds. In particular, the familiar Delzant classification holds in this context, and this allows one t

From playlist Informal Geometric Analysis Seminar

Video thumbnail

Rational Homotopy Groups (Lecture 3) By Somnath Basu

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Karen Strung: Positive Line Bundles Over the Irreducible Quantum Flag Manifolds

Talk by Karen Strung in Global Noncommutative Geometry Seminar (Europe) http://www.noncommutativegeometry.nl/ncgseminar/ on May 12, 2021

From playlist Global Noncommutative Geometry Seminar (Europe)

Video thumbnail

VPN - Virtual Private Networking

Follow the Insanity at: https://www.FailedNormal.com Downloadable Podcasts at: https://failednormal.podbean.com iTunes: https://itunes.apple.com/us/podcast/failed-normal/id1349818284?mt=2

From playlist Information theory and Coding

Related pages

Petriscript | Well-formed Petri net | Temporal logic | Deadlock | Petri net | Model checking