https://westergaard.video/about/instance/homehttps://westergaard.video/videos/browse?scope=localhttps://westergaard.video/w/cwoqJWJgaJgjfPDde21nu52023-12-20T21:35:17.662Zhttps://westergaard.video/lazy-static/thumbnails/89043925-d1bb-49fa-a368-916ef0661447.jpgHet is een nachtHet is een nachthttps://static.westergaard.video/playlists:hls/5d52a8c2-7ecc-4a58-97e6-af46b7110b00/39b664f0-6917-4f34-afe5-d7727d776e04-master.m3u8https://westergaard.video/videos/embed/cwoqJWJgaJgjfPDde21nu590002023-12-20T21:35:17.662ZYESMusicNOhttps://westergaard.video/w/6f5LudnjB6CSZLdM48Z9nH2023-12-20T21:42:09.399Zhttps://westergaard.video/lazy-static/thumbnails/06d3578f-7282-42e4-b2a3-68fb9b132da4.jpgBritney's Finale in HerningBritney's Finale in Herninghttps://static.westergaard.video/playlists:hls/2a750b39-ee2c-4186-8065-9981da24e283/f59a4ca2-d59a-4f9b-b0e7-4bcc13de450d-master.m3u8https://westergaard.video/videos/embed/6f5LudnjB6CSZLdM48Z9nH120022023-12-20T21:42:09.399ZYESMusicNOhttps://westergaard.video/w/f2mPvGXYjU6J5fJhTLAyou2023-12-20T21:47:46.887Zhttps://westergaard.video/lazy-static/thumbnails/2706739a-a7a2-4385-aa56-7074365d2679.jpgPaul McCartneyPaul McCartneyhttps://static.westergaard.video/playlists:hls/719083e9-8f86-4c16-bb47-b1684b5c1388/b181e139-9065-43d7-96db-3598c5c1eadf-master.m3u8https://westergaard.video/videos/embed/f2mPvGXYjU6J5fJhTLAyou57022023-12-20T21:47:46.887ZYESMusicNOhttps://westergaard.video/w/hEJje5jrtHV7yKiBRzrj5m2023-12-20T21:48:38.273Zhttps://westergaard.video/lazy-static/thumbnails/4714bb6e-7664-4362-ab71-6995708218ac.jpgPaul McCartneyPaul McCartneyhttps://static.westergaard.video/playlists:hls/86fa8f13-82bc-4a22-844d-196571df965c/5723388c-d1cc-4d59-8f12-ac70cfbd48dd-master.m3u8https://westergaard.video/videos/embed/hEJje5jrtHV7yKiBRzrj5m87032023-12-20T21:48:38.273ZYESMusicNOhttps://westergaard.video/w/qA6ui4fsfpxpkMVVqnLMjV2023-12-20T21:49:24.273Zhttps://westergaard.video/lazy-static/thumbnails/eb3d1cee-0b96-4cfb-acb4-626e99daa6ca.jpgNAWL play-in/play-outNAWL play-in/play-outhttps://static.westergaard.video/playlists:hls/c71dff7d-deec-48f9-a2f2-37b9ab5a628d/90d948a4-5b1e-415f-8ca1-d99ab54cbb51-master.m3u8https://westergaard.video/videos/embed/qA6ui4fsfpxpkMVVqnLMjV491042023-12-20T21:49:24.273ZYESProcess MiningNOhttps://westergaard.video/w/vYTpnCWGLCSgU5GJCgzMo82023-12-20T22:00:23.875Zhttps://westergaard.video/lazy-static/thumbnails/7a48eb9e-2389-41c9-bcf5-b6fc99ef61df.jpgAccessCPN ProMAccessCPN ProMhttps://static.westergaard.video/playlists:hls/f2ca59b8-a829-42de-8ba7-49ed51fba46f/cff6c06f-9db4-459f-bb68-18e2217767e7-master.m3u8https://westergaard.video/videos/embed/vYTpnCWGLCSgU5GJCgzMo8581042023-12-20T22:00:23.875ZYESProcess MiningNOhttps://westergaard.video/w/vFqKMVG6C5yToGL52wS8WP2023-12-20T22:02:59.246Zhttps://westergaard.video/lazy-static/thumbnails/7c1c9d09-3277-4966-b0c3-9d0f5dc79426.jpgMeghan Trainor Paris 2015Meghan Trainor Paris 2015https://static.westergaard.video/playlists:hls/f05a48b4-36bf-47e8-9214-3c726c05f8b7/b29a7f47-c6d1-47d0-bd18-107eb8f5eb83-master.m3u8https://westergaard.video/videos/embed/vFqKMVG6C5yToGL52wS8WP67032023-12-20T22:02:59.246ZYESMusicNOhttps://westergaard.video/w/97yPU1unkZtUZTZbXend3a2023-12-20T22:04:36.210Zhttps://westergaard.video/lazy-static/thumbnails/1c13a33e-2d36-4781-990f-29b6fd7648b7.jpgCPN Tools State space AnalysisCPN Tools State space Analysishttps://static.westergaard.video/playlists:hls/41b3cd30-7c7a-4d27-89d8-846667665ca5/b73f60cd-a589-4639-a3d9-d8c54ee2ea92-master.m3u8https://westergaard.video/videos/embed/97yPU1unkZtUZTZbXend3a2160292023-12-20T22:04:36.210ZYESCPN ToolsNOhttps://westergaard.video/w/ezfXPCkg4ZHXqDCvgzcqFv2023-12-21T04:25:21.829Zhttps://westergaard.video/lazy-static/thumbnails/d5d148d4-7fee-4464-8588-acb4d3ea8e4c.jpgCascadaCascadahttps://static.westergaard.video/playlists:hls/6deb9163-04a0-4df5-94ea-7e2c0bfbcfbb/59e92b83-2186-4bf7-a23e-836f1bd5915e-master.m3u8https://westergaard.video/videos/embed/ezfXPCkg4ZHXqDCvgzcqFv519092023-12-21T04:25:21.829ZYESMusicNOhttps://westergaard.video/w/7q28Cha25zd5QyY8iG5XPK2023-12-21T03:50:16.097Zhttps://westergaard.video/lazy-static/thumbnails/78caede3-b1ec-4e7e-bf9f-d0dd2375a66c.jpgQuiznightXL 2014 - Spool - QuestionQuiznightXL 2014 - Spool - Questionhttps://static.westergaard.video/playlists:hls/33f16136-5983-4bb6-a583-2a714c98780d/0d0705d9-3bf5-4308-818c-27461fb0c734-master.m3u8https://westergaard.video/videos/embed/7q28Cha25zd5QyY8iG5XPK68052023-12-21T03:50:16.097ZYESRandomNOhttps://westergaard.video/w/9Bhi6FtcKnpixWqNuUDPWF2023-12-21T03:52:52.499Zhttps://westergaard.video/lazy-static/thumbnails/673809b7-d7fc-40be-b0b7-a16cee6172c8.jpgQuiznightXL 2014 - Spool - AnswerQuiznightXL 2014 - Spool - Answerhttps://static.westergaard.video/playlists:hls/45b62ee9-9faf-4342-8ebd-713adb4b2607/73b3771f-e2ac-4a8f-a33c-8bdc85e36273-master.m3u8https://westergaard.video/videos/embed/9Bhi6FtcKnpixWqNuUDPWF45022023-12-21T03:52:52.499ZYESRandomNOhttps://westergaard.video/w/m8NpEco5pg367XLvUZSVur2023-12-21T14:01:50.368Zhttps://westergaard.video/lazy-static/thumbnails/6c5e1c3d-9ed1-4de5-b162-69285580f045.jpgChecking for Dead-locks in ASAPChecking for Dead-locks in ASAPhttps://static.westergaard.video/playlists:hls/a30d9458-ad62-46e8-b979-bb5c284ef205/eb31cb05-8fe7-4c63-a4bf-4e6a64e9d592-master.m3u8https://westergaard.video/videos/embed/m8NpEco5pg367XLvUZSVur139002023-12-21T14:01:50.368ZYESWorkNOhttps://westergaard.video/w/em5JhmoY5GcCy3ATzewt712023-12-21T14:02:19.052Zhttps://westergaard.video/lazy-static/thumbnails/e749464b-9180-47ad-a0a7-475d7222d7a2.jpgError Traces in ASAPError Traces in ASAPhttps://static.westergaard.video/playlists:hls/6c1497a2-dd35-4848-ba0f-1aff2e65f608/444662e0-958a-4375-9236-a87970e69813-master.m3u8https://westergaard.video/videos/embed/em5JhmoY5GcCy3ATzewt7163002023-12-21T14:02:19.052ZYESWorkNOhttps://westergaard.video/w/wyATZCdCsPte3NGZwBBVVN2024-02-16T07:32:59.955Zhttps://westergaard.video/lazy-static/thumbnails/8b217087-9df7-420c-876e-eb5f1aa1396a.jpgBritney Spears' Guide to DNS Cache PoisoningBritney Spears' Guide to DNS Cache Poisoninghttps://static.westergaard.video/playlists:hls/f77f7754-9f50-4cac-80da-1e5c84f1b04c/0aedac06-f85a-4c86-8904-100f1f1887ef-master.m3u8https://westergaard.video/videos/embed/wyATZCdCsPte3NGZwBBVVN21980122024-02-16T07:32:59.955Zlectureddist 2010ddistsecurityYESdDistNOhttps://westergaard.video/w/tAVtS9daauS28n5JKKtray2026-10-14T07:49:10.957Zhttps://westergaard.video/lazy-static/thumbnails/9cb16d27-10fd-4300-8739-ca24ca5f2f7b.jpgLTL ASAPLTL ASAPhttps://static.westergaard.video/playlists:hls/df86fd90-2c39-486d-a78c-b9a5c7484ff6/930247bd-e2d0-4e37-98f3-777d503b4060-master.m3u8https://westergaard.video/videos/embed/tAVtS9daauS28n5JKKtray897002023-12-21T14:17:31.318ZYESWorkNOhttps://westergaard.video/w/5oiZj37WJ2k7HzTaEzTMbM2026-10-14T07:20:57.615Zhttps://westergaard.video/lazy-static/thumbnails/4f6842ea-dbee-4f57-b2fe-c367efc71847.jpg2 User Perspective2 User Perspectivehttps://static.westergaard.video/playlists:hls/238200ce-a18b-41b3-a0a3-c886a2bda74d/b4b3d6cb-3555-43a5-99ba-ae6dedcd68d3-master.m3u8https://westergaard.video/videos/embed/5oiZj37WJ2k7HzTaEzTMbM84002023-12-21T14:19:35.549ZYESWorkNOhttps://westergaard.video/w/meCN8qubJsqv8qiMzzRpge2026-10-14T07:21:32.408Zhttps://westergaard.video/lazy-static/thumbnails/dc32e3ec-a6ce-4a35-a7d7-98124e2fa7d8.jpg4 Research Perspective4 Research Perspectivehttps://static.westergaard.video/playlists:hls/a3de1e3d-72f1-4d89-95fe-2049d28979c7/1f464847-933b-4f47-9b93-adda7cfed249-master.m3u8https://westergaard.video/videos/embed/meCN8qubJsqv8qiMzzRpge48002023-12-21T14:19:48.213ZYESWorkNOhttps://westergaard.video/w/rsE83UK3akY7HGa5BstRke2026-10-14T07:27:07.545Zhttps://westergaard.video/lazy-static/thumbnails/791513fc-37ee-4e52-a010-76db4dd7f831.jpgCosimulation and OrchestrationCosimulation and Orchestrationhttps://static.westergaard.video/playlists:hls/ce2d4c3a-2867-424d-9999-4f1d42af8477/737fc70c-689b-42dd-8a90-7f4679e46597-master.m3u8https://westergaard.video/videos/embed/rsE83UK3akY7HGa5BstRke921002023-12-21T14:30:06.799ZYESWorkNOhttps://westergaard.video/w/bGsSxQVEqr3df2J3uega4Y2026-10-14T07:28:09.528Zhttps://westergaard.video/lazy-static/thumbnails/cb716374-de39-4e2b-94cd-7bdf81d994cd.jpgDeclare/CPN and ProMDeclare/CPN and ProMhttps://static.westergaard.video/playlists:hls/56a1b294-0ed7-4e8f-ba74-132e1e3ae952/bd998466-9e6c-42c5-99ac-f291526a18f6-master.m3u8https://westergaard.video/videos/embed/bGsSxQVEqr3df2J3uega4Y695002023-12-21T15:11:53.454ZYESWorkNOhttps://westergaard.video/w/jprD9jxm5mnjiWaJriWtKq2026-10-14T08:38:51.752Zhttps://westergaard.video/lazy-static/thumbnails/9746cbe7-5d74-4e68-a34e-1383d610ec5c.jpgReal Time and PrioritiesReal Time and Prioritieshttps://static.westergaard.video/playlists:hls/950a676f-d765-4317-80bd-7d81591850c2/a1767f0e-d6e0-489b-bc83-7bac48ad603e-master.m3u8https://westergaard.video/videos/embed/jprD9jxm5mnjiWaJriWtKq639002023-12-21T14:59:01.419ZYESWorkNOhttps://westergaard.video/w/qrGeaYoJprAAxHV2qdXCoo2026-10-14T08:38:17.179Zhttps://westergaard.video/lazy-static/thumbnails/992be055-e658-4972-aed1-5c6c6cef1707.jpgOperational SupportOperational Supporthttps://static.westergaard.video/playlists:hls/c5f1b682-14e8-4de5-bfd3-21eedebb4a3a/82b7ae8e-79b7-4572-a3b0-2dc3d7337863-master.m3u8https://westergaard.video/videos/embed/qrGeaYoJprAAxHV2qdXCoo706002023-12-21T14:57:10.884ZYESWorkNOhttps://westergaard.video/w/4nKdu6GkbDn2UFUGnRe6Fz2023-12-21T14:30:30.619Zhttps://westergaard.video/lazy-static/thumbnails/f7a228aa-1c7b-46f6-806f-33a89a1d6847.jpgShantelShantelhttps://static.westergaard.video/playlists:hls/1b54aae0-db16-41f5-acb4-22672feaabe3/3f2b0129-2ee7-4f28-83fd-ac6e659d25e5-master.m3u8https://westergaard.video/videos/embed/4nKdu6GkbDn2UFUGnRe6Fz74002023-12-21T14:30:30.619ZYESWorkNOhttps://westergaard.video/w/gZsSVMwRYy6sL43V41DrP32026-10-14T08:39:00.112Zhttps://westergaard.video/lazy-static/thumbnails/8804a278-9cc1-467f-9139-b9bdd334c55a.jpgRis a l'amandeRis a l'amandehttps://static.westergaard.video/playlists:hls/817f09fa-ac75-42e1-b08e-b7ac72c0e714/bf8a5b54-442e-43c4-bbdc-7bda9748f38c-master.m3u8https://westergaard.video/videos/embed/gZsSVMwRYy6sL43V41DrP376002023-12-21T14:22:37.691ZYESWorkNOhttps://westergaard.video/w/bMRhKrfJS2NWvYucvCqurD2026-10-14T08:38:08.183Zhttps://westergaard.video/lazy-static/thumbnails/3fe20295-d977-4bf3-8aa4-ce250284b280.jpgNew Fairness in CPN ToolsNew Fairness in CPN Toolshttps://static.westergaard.video/playlists:hls/57623b45-f26f-4f3d-96a4-c28838ec3f9f/af85274d-4010-4bcd-8468-bb4dd8372406-master.m3u8https://westergaard.video/videos/embed/bMRhKrfJS2NWvYucvCqurD409002023-12-21T14:33:43.841ZYESWorkNOhttps://westergaard.video/w/smUiHJYkc9f3qBW5226k3p2026-10-14T07:28:28.238Zhttps://westergaard.video/lazy-static/thumbnails/221ce49f-af3f-497f-a09b-d0e99c8336da.jpgDeclare DemoDeclare Demohttps://static.westergaard.video/playlists:hls/d578b708-b394-4f0a-8805-5a5f96f45aaf/130419b7-0642-4291-b26a-c904f6e795a7-master.m3u8https://westergaard.video/videos/embed/smUiHJYkc9f3qBW5226k3p44002023-12-21T14:30:59.828ZYESWorkNOhttps://westergaard.video/w/4n5GhmdASsTPc34hsnmP1o2026-10-14T08:38:34.647Zhttps://westergaard.video/lazy-static/thumbnails/274a294e-eabe-414d-ad74-63a4dcb9e8ae.jpgOperational Support DemoOperational Support Demohttps://static.westergaard.video/playlists:hls/1b3ceda1-a346-498d-a90a-192d0e91f0e2/1ceab206-171d-43a4-af85-e4ea5cf48b77-master.m3u8https://westergaard.video/videos/embed/4n5GhmdASsTPc34hsnmP1o82002023-12-21T14:53:24.513ZYESWorkNOhttps://westergaard.video/w/7N9oS1zzLgLzyXaX2cqVMs2026-10-14T07:26:11.158Zhttps://westergaard.video/lazy-static/thumbnails/6263b274-4e32-46cf-a485-7e355eb165b9.jpgAutomatic SimulationAutomatic Simulationhttps://static.westergaard.video/playlists:hls/370837ed-faf7-49eb-91d0-c788c5ca1d10/a3648fe6-5f7e-4cd8-bb73-35607476d7e3-master.m3u8https://westergaard.video/videos/embed/7N9oS1zzLgLzyXaX2cqVMs656002023-12-21T14:41:50.071ZYESWorkNOhttps://westergaard.video/w/nMbCbDFCrwomx2PP5W7uDz2026-10-14T08:39:24.907Zhttps://westergaard.video/lazy-static/thumbnails/89996d23-024e-4d32-8370-f821315ca1ff.jpgSmart ProviderSmart Providerhttps://static.westergaard.video/playlists:hls/b05eedbe-d839-45bf-ba8d-c0a2c3d8a783/e29bb2eb-ddc6-4855-8922-9fa83d9ec5a5-master.m3u8https://westergaard.video/videos/embed/nMbCbDFCrwomx2PP5W7uDz251002023-12-21T14:53:09.454ZYESWorkNOhttps://westergaard.video/w/dopBfcbei17Z31LtG9L7Ss2026-10-24T18:15:39.342Zhttps://westergaard.video/lazy-static/thumbnails/6a7b600b-fac4-45b0-9237-ea2b4b57f4bd.jpgDeclare DemoQuick demo of Declare for http://declare.sf.net/. The demo is the same as the one at http://westergaard.eu/2011/05/declare-demo/https://static.westergaard.video/playlists:hls/644e935a-a2db-42bf-a0f7-d9fb440cc166/aa4fd0d5-e28c-48e7-a7ae-6270b7038a06-master.m3u8https://westergaard.video/videos/embed/dopBfcbei17Z31LtG9L7Ss611002023-12-21T14:51:39.297ZDeclaredeclarative modelingworkflowYESWorkNOhttps://westergaard.video/w/9tkr9UKEv6TdcKDpg5P1Ee2026-10-14T08:39:13.349Zhttps://westergaard.video/lazy-static/thumbnails/d55d37d3-2fd1-42a8-af97-ed541af690ae.jpgRuning CosimulationRuning Cosimulationhttps://static.westergaard.video/playlists:hls/449a2ae1-72da-476b-ac9a-296e959b43e1/8207a7a0-0f1d-417a-b8ee-af1aa997f7a1-master.m3u8https://westergaard.video/videos/embed/9tkr9UKEv6TdcKDpg5P1Ee303002023-12-21T14:42:49.012ZYESWorkNOhttps://westergaard.video/w/78qajNctuKGuLr58gpFw8K2026-10-14T07:26:24.439Zhttps://westergaard.video/lazy-static/thumbnails/50a0f41b-5944-4de8-bf5f-15059e36092c.jpgBeer TastingBeer Tastinghttps://static.westergaard.video/playlists:hls/319fed8d-f442-462e-b6b7-598152fd5fa1/0786827f-d640-48e6-8f4c-a99cb6951e66-master.m3u8https://westergaard.video/videos/embed/78qajNctuKGuLr58gpFw8K326002023-12-21T14:44:38.085ZYESWorkNOhttps://westergaard.video/w/hooK1cxyqwuajdSRtSguzQ2023-12-21T14:42:40.172Zhttps://westergaard.video/lazy-static/thumbnails/fc073e17-94b5-4c1e-9766-4572f37c338d.jpgCamp ChristCamp Christhttps://static.westergaard.video/playlists:hls/84b298ae-46b5-447b-bc5c-7f9cdd2dd832/4660e6f0-6308-4cbe-81b5-41261e454cd8-master.m3u8https://westergaard.video/videos/embed/hooK1cxyqwuajdSRtSguzQ32002023-12-21T14:42:40.172ZYESWorkNOhttps://westergaard.video/w/hQdt7rx5zhJpApSqtTj7Xe2023-12-21T14:53:48.579Zhttps://westergaard.video/lazy-static/thumbnails/0679abc4-80b1-41ae-aa15-44fd594a128d.jpgIMG_9303IMG_9303https://static.westergaard.video/playlists:hls/884d9a54-3876-48b8-9ecb-a6b40cf30e3b/5db972da-6b24-4924-9dc7-67c48adb845e-master.m3u8https://westergaard.video/videos/embed/hQdt7rx5zhJpApSqtTj7Xe17002023-12-21T14:53:48.579ZYESWorkNOhttps://westergaard.video/w/4bLJBXzFeWVxBR5jRLCFMH2026-10-24T18:15:55.350Zhttps://westergaard.video/lazy-static/thumbnails/96efb5d5-4379-41db-8813-905a1b27d53b.jpgCelia og Blå Thor-skandalenCelia, som vi alle troede spillede på LFP-holdet, drikker Blå Thor.https://static.westergaard.video/playlists:hls/19cc6c28-be3b-4974-b8b8-e9479af8f857/0f0417bd-113b-48db-8ef6-02faaa36672d-master.m3u8https://westergaard.video/videos/embed/4bLJBXzFeWVxBR5jRLCFMH33002023-12-21T14:58:41.533ZLFPBycykelBlå ThorYESWorkNOhttps://westergaard.video/w/mrerPGb7ULZC2YvJ7zyQhd2026-10-24T18:15:55.696Zhttps://westergaard.video/lazy-static/thumbnails/0f4fbfe9-b716-420a-86be-a0be8e29b72e.jpgCountdown to 1234567890The last minute before time_t 1234567890 at Fredagscaféen, Department of Computer Science, Aarhus University.https://static.westergaard.video/playlists:hls/a57ca742-5680-4dd7-bb6f-e46529c7513c/ca4d5c6a-4f3f-464d-8001-445af7ae6ed9-master.m3u8https://westergaard.video/videos/embed/mrerPGb7ULZC2YvJ7zyQhd59002023-12-21T14:59:16.007ZDaimitime_tFredagscaféen1234567890YESWorkNOhttps://westergaard.video/w/ap8FxpwZZHfoAjW7QeZpVo2023-12-21T15:28:00.353Zhttps://westergaard.video/lazy-static/thumbnails/c246c44b-4a73-440c-93e8-b1c5c68de001.jpgState space Graphs in ASAPState space Graphs in ASAPhttps://static.westergaard.video/playlists:hls/4c1d16b4-cd38-49c7-bd20-c7607fd4df8c/635f260c-43a7-4d20-b253-b4b71ccd15e1-master.m3u8https://westergaard.video/videos/embed/ap8FxpwZZHfoAjW7QeZpVo200002023-12-21T15:28:00.353ZASAPstate-space analysisgraph drawingYESWorkNOhttps://westergaard.video/w/aZzUdpid2sbUBrrGW96E4d2026-10-24T18:15:56.349Zhttps://westergaard.video/lazy-static/thumbnails/7bd51311-273e-4e4f-abe0-7e5c189dc424.jpgBritney Spears' Guide to DNS Cache PoisoningSlideshow from a distributed systems course; it explains DNS cache poisoning and Kaminsky's exploit.https://static.westergaard.video/playlists:hls/50ec88db-27cf-4136-9871-8a5d6f3f369a/db80a37d-13a3-48b6-92de-f0b67c0343ed-master.m3u8https://westergaard.video/videos/embed/aZzUdpid2sbUBrrGW96E4d215002023-12-21T15:27:20.245ZDNSdistributed systemsKaminsky exploitcache poisoningBritney SpearsYESWorkNOhttps://westergaard.video/w/wPwRYvPpeYaXv6z1gM5Gnp2026-10-24T18:15:56.724Zhttps://westergaard.video/lazy-static/thumbnails/b1e7d7ce-5f39-4f27-b349-5550e94a7b8c.jpgFuClipseDemonstrattion of my tool, FuClipse, which analyzes feature ande plugin dependencies for Eclipse products.https://static.westergaard.video/playlists:hls/f99522da-4856-4d3f-ab18-9ff8d6a100c9/fa83d809-a536-4d2c-a825-9187f5a2daba-master.m3u8https://westergaard.video/videos/embed/wPwRYvPpeYaXv6z1gM5Gnp282002023-12-21T15:24:36.146ZEclipseplugin dependenciesFuClipseYESWorkNOhttps://westergaard.video/w/tzD2nw8vdsEpyhqTno9jcH2023-12-21T15:22:53.855Zhttps://westergaard.video/lazy-static/thumbnails/caf168e2-921a-47a4-b3ac-7765b1e0fd06.jpgSML loading in ASAPSML loading in ASAPhttps://static.westergaard.video/playlists:hls/df591ad7-f18d-4137-a37f-44d3b6977caf/2bf212b1-b6f2-454f-9ea9-48df589ea465-master.m3u8https://westergaard.video/videos/embed/tzD2nw8vdsEpyhqTno9jcH372002023-12-21T15:22:53.855ZSMLASAPYESWorkNOhttps://westergaard.video/w/j6hYGjZRRcJpk7q39B9oS92026-10-24T18:15:57.375Zhttps://westergaard.video/lazy-static/thumbnails/fbd553d6-080d-403c-90fe-c3321998dd97.jpgASAP demo part 1Quick introduction to ASAP 1.1 testing (Jun 2009), a state space exploration tool developed by the CPN Group at Aarhus University. ASAP is available free of charge from http://www.daimi.au.dk/~ascoveco/download.html This video shows how to create a project, import a model, create a simple job for checking for dead-locks, and how to execute that job. This is part 1 of 2. Watch part 2 at https://westergaard.video/w/96cf2a9b-4c31-4910-8d53-5e973b82ef7ahttps://static.westergaard.video/playlists:hls/9281ad6f-edaf-4384-a209-22be4dabcc64/b582db24-9e8b-408a-bc58-d85750dd0e14-master.m3u8https://westergaard.video/videos/embed/j6hYGjZRRcJpk7q39B9oS9441002023-12-21T15:13:19.026Zformal verificationPetri netsASAPstate-space analysisYESWorkNOhttps://westergaard.video/w/jC7jyrVXM2W5KhoXHUSuGb2026-10-24T18:15:58.072Zhttps://westergaard.video/lazy-static/thumbnails/68a05bd5-f9da-40fd-913c-50904d0458ab.jpgASAP demo part 2Quick introduction to ASAP 1.1 testing (Jun 2009), a state space exploration tool developed by the CPN Group at Aarhus University. ASAP is available free of charge from http://www.daimi.au.dk/~ascoveco/download.html This video shows how to create a project, import a model, create a simple job for checking for dead-locks, and how to execute that job. This is part 2 of 2. Watch part 1 at https://westergaard.video/w/9281ad6f-edaf-4384-a209-22be4dabcc64https://static.westergaard.video/playlists:hls/96cf2a9b-4c31-4910-8d53-5e973b82ef7a/6f95667e-0873-4188-abed-843662eddea4-master.m3u8https://westergaard.video/videos/embed/jC7jyrVXM2W5KhoXHUSuGb476002023-12-21T15:20:04.538ZPetri netsformal verificationstate-space analysisASAPYESWorkNOhttps://westergaard.video/w/bY5htKf35bUtXxHGN7Fi7J2026-10-24T18:15:58.471Zhttps://westergaard.video/lazy-static/thumbnails/fd54242f-75b8-48a3-8eda-e3893962e74b.jpgBit-state hashing og hash-compaction i ASAPBit-state hashing og hash-compaction i ASAPhttps://static.westergaard.video/playlists:hls/58cfad8a-9e1c-4ade-abc2-4c04347db7a2/0441062b-7047-4570-8958-1748d8aa5fd1-master.m3u8https://westergaard.video/videos/embed/bY5htKf35bUtXxHGN7Fi7J422002023-12-21T15:17:59.396Zhash compactionbit-state hashingASAPYESWorkNOhttps://westergaard.video/w/mGj5p4pSwUzbpMUHAJst792026-10-24T18:15:58.724Zhttps://westergaard.video/lazy-static/thumbnails/fc7ec9d1-9a0d-4fae-b022-2152d8a91e18.jpgModel DemoShows simple execution of a dead-locking Dining Philosophers example created using coloured Petri nets in CPN Tools.https://static.westergaard.video/playlists:hls/a797a9e2-fb41-4872-94ad-6a77d92fe560/9ba6fcd8-3844-4792-8a48-9c7c67ffc695-master.m3u8https://westergaard.video/videos/embed/mGj5p4pSwUzbpMUHAJst7948002023-12-21T15:11:56.987ZPetri netsCPN ToolsDining PhilosophersYESWorkNOhttps://westergaard.video/w/1GqxfZe6goHF4WhQ4oXoqy2026-10-24T18:15:59.002Zhttps://westergaard.video/lazy-static/thumbnails/33079502-3001-489a-9a5d-94da26875644.jpgCheck for Dead-locksThis video shows setting up a checker for dead-locks in ASAP for a dead-locking model of the Dining Philosophers (example shown at https://westergaard.video/w/a797a9e2-fb41-4872-94ad-6a77d92fe560).https://static.westergaard.video/playlists:hls/05a4df9a-ecaa-49e6-bde5-1b2ed2868180/e302d993-5da9-4dce-9671-cb2738a1c2e7-master.m3u8https://westergaard.video/videos/embed/1GqxfZe6goHF4WhQ4oXoqy245002023-12-21T15:14:28.428Zmodel checkingDining PhilosophersdeadlocksASAPYESWorkNOhttps://westergaard.video/w/5phmsM6CD5wCQfx8d6z1Pe2026-10-24T18:15:59.424Zhttps://westergaard.video/lazy-static/thumbnails/0a539a64-890d-4933-a6ea-3b293200dd08.jpgPlaying with JoSEL; Drawing Counter-examplesThis shows details of the example from https://westergaard.video/w/05a4df9a-ecaa-49e6-bde5-1b2ed2868180 and how to modify it to show counter examples to violated properties.https://static.westergaard.video/playlists:hls/23a4bd36-88fd-4cad-bbf5-5341181c2deb/74de9af0-c425-4dd8-8f9c-4abaa508f580-master.m3u8https://westergaard.video/videos/embed/5phmsM6CD5wCQfx8d6z1Pe259002023-12-21T16:16:52.101Zmodel checkingJoSELASAPDining PhilosopherscounterexamplesYESWorkNOhttps://westergaard.video/w/kiqKNxRyJaJ2WTyoXYuDjW2026-10-24T18:16:00.015Zhttps://westergaard.video/lazy-static/thumbnails/cb2dee08-e7fa-4de0-ba3f-52e32ce5d5e4.jpgChecking a Custom Safety PropertyHere, we extend the example from https://westergaard.video/w/23a4bd36-88fd-4cad-bbf5-5341181c2deb to also check a simple mutex property, that two philosophers next to each other cannot eat at the same time.https://static.westergaard.video/playlists:hls/9c4c88d9-da7f-4aad-ac74-252a4a4d943e/415f5611-6c04-46f9-8c14-43362b7790e8-master.m3u8https://westergaard.video/videos/embed/kiqKNxRyJaJ2WTyoXYuDjW209002023-12-21T16:18:09.595Zsafety propertiesmodel checkingDining PhilosophersASAPYESWorkNOhttps://westergaard.video/w/1bg2iXCvtLu5vpc6dWi9WW2026-10-24T18:16:00.735Zhttps://westergaard.video/lazy-static/thumbnails/8e808702-a4be-4bc7-8535-7848176790f3.jpgChecking Properties Using the Sweep-line MethodIn this example we use the sweep-line method to check a mutual exclusion property of the dining philosophers example (https://westergaard.video/w/05a4df9a-ecaa-49e6-bde5-1b2ed2868180).https://static.westergaard.video/playlists:hls/016eb218-fe48-4a60-8275-bad2396042da/d9c81b95-e01f-43c6-afc7-20b72891479e-master.m3u8https://westergaard.video/videos/embed/1bg2iXCvtLu5vpc6dWi9WW242002023-12-21T16:20:54.890Zsweep-line methodDining PhilosophersASAPmodel checkingYESWorkNOhttps://westergaard.video/w/9Qege8iCkyqx4GJ8YEBaBF2026-10-24T18:16:01.542Zhttps://westergaard.video/lazy-static/thumbnails/c421e1d0-cc4a-4c71-9b35-7e8acf288038.jpgCreating Job for the Sweep-line MethodWe modify the job created in https://westergaard.video/w/9c4c88d9-da7f-4aad-ac74-252a4a4d943e to instead use the sweep-line method.https://static.westergaard.video/playlists:hls/4784fbca-93ee-4e4d-80b3-ef3ce7d9b3f1/d4016707-8e11-476f-a20a-3bd679b0b376-master.m3u8https://westergaard.video/videos/embed/9Qege8iCkyqx4GJ8YEBaBF416002023-12-21T16:24:38.673ZDining Philosophersmodel checkingsweep-line methodASAPYESWorkNOhttps://westergaard.video/w/oynrfjyycebb5AGEW2cW892026-10-24T18:16:02.164Zhttps://westergaard.video/lazy-static/thumbnails/c7edd1f1-2f8a-4849-b8a8-ee9e6e672aed.jpgGraph Drawing and ExportHere we change the job created in https://westergaard.video/w/9c4c88d9-da7f-4aad-ac74-252a4a4d943e to instead draw the state space graph. We modify the model to only contain two philosophers and play a bit with the resulting graph, including exporting it in DOT and GraphML format.https://static.westergaard.video/playlists:hls/b6ae0fa6-0b85-41fb-949b-2ea2fc00c73e/6f516ea1-6f6b-4774-b35d-16238ea16ca3-master.m3u8https://westergaard.video/videos/embed/oynrfjyycebb5AGEW2cW89550002023-12-21T16:27:08.011ZDining PhilosophersASAPgraph drawingmodel checkingYESWorkNOhttps://westergaard.video/w/gCK3pFKA5teQsspEvjEZFA2026-10-24T18:16:05.628Zhttps://westergaard.video/lazy-static/thumbnails/cba68088-7cdd-41d0-b9bf-ba96776bdcd5.jpgOff-line AnalysisHere we change the safety checker from https://westergaard.video/w/9c4c88d9-da7f-4aad-ac74-252a4a4d943e to do off-line analysis, thereby halving the execution time.https://static.westergaard.video/playlists:hls/7e9a6182-bdd4-4ab3-aeb9-01bdc0b10b2c/acdba249-4172-454f-9e90-cdf41874a9ea-master.m3u8https://westergaard.video/videos/embed/gCK3pFKA5teQsspEvjEZFA406002023-12-21T16:31:41.345ZASAPmodel checkingoff-line analysisDining PhilosophersYESWorkNOhttps://westergaard.video/w/6FzCZzYMduG3ErsPaH1DyC2026-10-24T18:16:06.064Zhttps://westergaard.video/lazy-static/thumbnails/696ca1aa-8b30-43a7-bb3b-c53bd60992de.jpgStandard Report in ASAPThis briefly goes thru the (work in progress) standard report JoSEL specification in ASAP.https://static.westergaard.video/playlists:hls/2e046e2c-70fe-4f51-bf36-4cca751fbb88/914a40ac-5caa-441f-8246-2f2210bfef47-master.m3u8https://westergaard.video/videos/embed/6FzCZzYMduG3ErsPaH1DyC154002023-12-21T16:27:57.936ZJoSELASAPstandard reportmodel checkingYESWorkNOhttps://westergaard.video/w/fHUH5CNfcNdJvKYTAd1XHG2026-10-24T18:16:06.437Zhttps://westergaard.video/lazy-static/thumbnails/5824714f-5c88-475a-85c6-3eabd865808a.jpgHash Compaction in ASAPIn this video, we change https://westergaard.video/w/9c4c88d9-da7f-4aad-ac74-252a4a4d943e to use hash compaction. We also modify our sweep-line checker (from https://westergaard.video/w/4784fbca-93ee-4e4d-80b3-ef3ce7d9b3f1) to use hash compaction together with the sweep-line method.https://static.westergaard.video/playlists:hls/7739eb1e-bfe5-4a4a-9f22-5571257de7ee/7f0bc9f5-6172-4dd3-bf92-a6da184cdad7-master.m3u8https://westergaard.video/videos/embed/fHUH5CNfcNdJvKYTAd1XHG345002023-12-21T16:36:00.560Zhash compactionmodel checkingsweep-line methodASAPDining PhilosophersYESWorkNOhttps://westergaard.video/w/4BH7AVWa9YrRRVy6fzTFt52026-10-24T18:16:06.795Zhttps://westergaard.video/lazy-static/thumbnails/3e73423f-3dd4-42ec-99b2-8afc508d55f9.jpgBit-state Hashing in ASAPIn this video, we change https://westergaard.video/w/9c4c88d9-da7f-4aad-ac74-252a4a4d943e to use bit-state hashing (with double hashing). We also trye to modify our sweep-line checker (from https://westergaard.video/w/4784fbca-93ee-4e4d-80b3-ef3ce7d9b3f1) to use bit-state hashing together with the sweep-line method, but see that this is not possible (as the sweep-line requires a storage we can remove from, but double hashing does not allow that).https://static.westergaard.video/playlists:hls/1d47c904-c4a9-4f1b-9469-edae02a1e4a6/744408dd-453c-42b0-9c96-85b226fdd051-master.m3u8https://westergaard.video/videos/embed/4BH7AVWa9YrRRVy6fzTFt5252002023-12-21T16:32:29.872ZASAPbit-state hashingdouble hashingmodel checkingsweep-line methodYESWorkNOhttps://westergaard.video/w/h37TjbkZsQ3tsjCoWAYxLt2026-10-24T18:16:07.138Zhttps://westergaard.video/lazy-static/thumbnails/a8be2c69-4556-4d5f-821e-6db6530e2230.jpgAdding Progress Measure to ASAP GUIThis shows the extension points used to add the wizard for creating progress measures to ASAP.https://static.westergaard.video/playlists:hls/81ddf2ee-c22c-4013-a920-9c88abb33b8f/896b5575-e3fc-4052-94b9-1e911b206781-master.m3u8https://westergaard.video/videos/embed/h37TjbkZsQ3tsjCoWAYxLt91002023-12-21T16:32:49.089ZASAPprogress measuresYESWorkNOhttps://westergaard.video/w/2gvvsQkGNAnucNDcfSmNnW2026-10-24T18:16:07.560Zhttps://westergaard.video/lazy-static/thumbnails/c107007c-2fc0-4f05-a885-b9a72b54e49f.jpgPage Copying in CPN ToolsCopying a page from one model to another in CPN Toolshttps://static.westergaard.video/playlists:hls/0a437aea-e535-46c5-9586-f0b2f8b3b5b0/198c00f8-7e98-4b94-8a6e-bee3963d0b50-master.m3u8https://westergaard.video/videos/embed/2gvvsQkGNAnucNDcfSmNnW131002023-12-21T16:33:36.191ZCPN Toolspage copyingPetri netsYESWorkNOhttps://westergaard.video/w/wdBZvBytJUUh7utodNmZ6C2026-10-24T18:18:35.307Zhttps://westergaard.video/lazy-static/thumbnails/6a28a5d4-6f36-4f49-8e97-4e03b2b0e8b5.jpgLTL Model Checking in ASAP 1LTL Model Checking in ASAP 1/2https://static.westergaard.video/playlists:hls/f4b54400-2b46-404b-93cb-77c3521172ca/3379256a-3971-47d6-b310-a0c57472641f-master.m3u8https://westergaard.video/videos/embed/wdBZvBytJUUh7utodNmZ6C444002023-12-21T16:40:32.885ZLTLASAPPetri netsmodel checkingYESWorkNOhttps://westergaard.video/w/fhRtnJ2qhpb4xFiV3T4A8d2026-10-24T18:18:35.563Zhttps://westergaard.video/lazy-static/thumbnails/41ceb34e-6d73-4615-b188-b4c2eefcffd8.jpgLTL Model Checking in ASAP 2LTL Model Checking in ASAP 2/2https://static.westergaard.video/playlists:hls/73ba546a-5a81-4276-a846-368f3cd18b12/737c75cf-bbb4-4155-bc14-6f7d9028962a-master.m3u8https://westergaard.video/videos/embed/fhRtnJ2qhpb4xFiV3T4A8d452002023-12-21T16:40:37.303Zmodel checkingASAPPetri netsLTLYESWorkNOhttps://westergaard.video/w/2xNjJYUxfGe2566YNhmZvB2026-10-24T18:18:35.948Zhttps://westergaard.video/lazy-static/thumbnails/b4b2a448-15b8-4a43-ac6c-f9602d0b2c9e.jpgFlying rats at a small cafe where we got a beervia Pixelpipehttps://static.westergaard.video/playlists:hls/0c89be40-420c-4dfc-a38f-710a91ed5e19/a69be32d-f596-491a-86f7-34272c02ee9d-master.m3u8https://westergaard.video/videos/embed/2xNjJYUxfGe2566YNhmZvB23002023-12-21T16:40:58.095ZcafébeerYESWorkNOhttps://westergaard.video/w/grwpnQ234LdnG37vEqtxSd2026-10-24T18:18:36.265Zhttps://westergaard.video/lazy-static/thumbnails/9316735d-40d1-4b60-b1ce-a4c5b40c6f12.jpgDownload and InstallationPart 1 of a series of videos on getting started with CPN Tools. This part shows how to obtain and install CPN Tools.https://static.westergaard.video/playlists:hls/7d096922-ed69-40fd-bf80-c40960c1ce74/7dacb435-c87c-4bde-a18e-b39717cb95c0-master.m3u8https://westergaard.video/videos/embed/grwpnQ234LdnG37vEqtxSd219002023-12-21T16:42:26.030ZtutorialinstallationCPN ToolsYESWorkNOhttps://westergaard.video/w/fk1Ta5iSo9gJpSv1sMP2Pj2026-10-24T18:18:36.602Zhttps://westergaard.video/lazy-static/thumbnails/2cc974a8-ffad-4e36-bfa0-a881c254de92.jpgUser InterfacePart 2 in a series on getting started with CPN Tools. This part goes thru the user interface.https://static.westergaard.video/playlists:hls/74079dce-2012-41a8-a69c-bcfcebe11bc4/d7403378-d5eb-4698-a6b4-68855e433cac-master.m3u8https://westergaard.video/videos/embed/fk1Ta5iSo9gJpSv1sMP2Pj269002023-12-21T16:43:16.371Zuser interfaceCPN ToolstutorialYESWorkNOhttps://westergaard.video/w/6LisEqGCpjm72EkZpdZMS62026-10-24T18:18:36.896Zhttps://westergaard.video/lazy-static/thumbnails/c2d97b7f-3d58-4c9a-9aee-07d37eefc678.jpgSimulationPart 3 in a series on getting started with CPN Tools. This part goes thru simulation of CPN models.https://static.westergaard.video/playlists:hls/2ead2dd9-97ff-478e-aa8c-a047d033ff75/32c7b2ba-c451-4793-b33c-019d3adf424d-master.m3u8https://westergaard.video/videos/embed/6LisEqGCpjm72EkZpdZMS6599002023-12-21T16:46:10.108ZsimulationtutorialCPN ToolsYESWorkNOhttps://westergaard.video/w/iKBKkMYACaf33rVN9E9euo2026-10-24T18:18:37.213Zhttps://westergaard.video/lazy-static/thumbnails/ccd158b2-23ff-4901-8cb9-26bd23ecb789.jpgEditingPart 4 in a series on getting started with CPN Tools. This part goes thru editing of models.https://static.westergaard.video/playlists:hls/8fc25e8e-98f8-44d7-875a-c829fe11c0e2/b443213a-8f3b-42fd-8aff-7590871f0b8a-master.m3u8https://westergaard.video/videos/embed/iKBKkMYACaf33rVN9E9euo516002023-12-21T16:53:29.694ZCPN Toolsmodel editingtutorialYESWorkNOhttps://westergaard.video/w/44ApFBCJzvg8PRyvM86Cxd2026-10-24T18:18:37.592Zhttps://westergaard.video/lazy-static/thumbnails/fafd86db-2317-4cb9-8786-f86c741c91d1.jpgState space Analysis 1Part 5.1 in a series on getting started with CPN Tools. This part is concerned with state-space analysis. Part 5.2 is at https://westergaard.video/w/c55f2e38-296d-4abd-9311-7c3ac79528e8https://static.westergaard.video/playlists:hls/18cbda28-29a2-40fb-b336-b5fa4b6d8bba/e8774b61-f166-4221-8084-7887386d2bab-master.m3u8https://westergaard.video/videos/embed/44ApFBCJzvg8PRyvM86Cxd548002023-12-21T16:51:06.384ZtutorialCPN Toolsstate-space analysisYESWorkNOhttps://westergaard.video/w/qnAso132kEzxYJbCh1kcpN2026-10-24T18:18:37.905Zhttps://westergaard.video/lazy-static/thumbnails/14b6fe69-9d40-4e54-8b54-b3e680ea085a.jpgState space Analysis 2Part 5.2 in a series on getting started with CPN Tools. This part is concerned with state-space analysis. I recommend watching part 5.1 before this video (see https://westergaard.video/w/18cbda28-29a2-40fb-b336-b5fa4b6d8bba)https://static.westergaard.video/playlists:hls/c55f2e38-296d-4abd-9311-7c3ac79528e8/c186b51a-9867-432f-bbad-e812a96314d7-master.m3u8https://westergaard.video/videos/embed/qnAso132kEzxYJbCh1kcpN418002023-12-21T16:47:31.045ZtutorialCPN Toolsstate-space analysisYESWorkNOhttps://westergaard.video/w/8vWQGDX4e1bDogExSs7YF12026-10-24T18:18:38.203Zhttps://westergaard.video/lazy-static/thumbnails/6a779217-5b33-4514-bd43-fa93bdba3957.jpgBrian Bunder MuskatvinNommenom.https://static.westergaard.video/playlists:hls/3cde560a-8784-4eed-bcca-702e107d5246/95ae48ab-5f77-46c0-97f9-bab1bdfcfff1-master.m3u8https://westergaard.video/videos/embed/8vWQGDX4e1bDogExSs7YF136012023-12-21T16:48:01.538ZBrianMuskatvinYESRandomNOhttps://westergaard.video/w/aK9bshBuX93uiitsS8dcCX2026-10-24T18:18:38.484Zhttps://westergaard.video/lazy-static/thumbnails/d4cec69a-9b3e-424a-8455-a84ab5f07751.jpgNew New Template WizardA brief demo of the new New Template wizard in ASAP.https://static.westergaard.video/playlists:hls/4ee84573-8cf7-4093-8d06-a74d27d4d07b/9816ac43-6f91-450d-a432-4f6e215bced0-master.m3u8https://westergaard.video/videos/embed/aK9bshBuX93uiitsS8dcCX231002023-12-21T16:50:33.827Ztemplate wizardASAPYESWorkNOhttps://westergaard.video/w/kur8J1pTi1VR2XC7Ee9Ve42026-10-24T18:18:38.750Zhttps://westergaard.video/lazy-static/thumbnails/897fceb3-7268-47f1-a286-16f87aff8c70.jpgReporting PresentationPresentation of reporting in ASAP.https://static.westergaard.video/playlists:hls/9dd5f2ef-b924-4f47-976e-d727c860c8b9/de0fca8e-2bda-4be3-ac04-307d60048ed7-master.m3u8https://westergaard.video/videos/embed/kur8J1pTi1VR2XC7Ee9Ve4213002023-12-21T16:48:29.393ZreportingASAPYESWorkNOhttps://westergaard.video/w/4pHdUvJXfqkwiXV6QPRkFk2026-10-24T18:18:39.059Zhttps://westergaard.video/lazy-static/thumbnails/a3a7120c-41a8-40a5-a17b-e1dfb20e2f49.jpgSticky commandsHow we should implement sticky commands in ASAPhttps://static.westergaard.video/playlists:hls/1b9aed4d-683d-4953-8c98-9a4b1996a4ed/b47e451f-b0d3-4b4a-9797-8acbceed6040-master.m3u8https://westergaard.video/videos/embed/4pHdUvJXfqkwiXV6QPRkFk37002023-12-21T17:57:32.888ZASAPsticky commandsYESWorkNOhttps://westergaard.video/w/jzpeEXuV7nPBLwFuyhMqeM2026-10-24T18:18:39.335Zhttps://westergaard.video/lazy-static/thumbnails/9e3932f9-2a0c-48b3-b2bd-6bb1943dffcc.jpgDead-lock in ProMThis error happens non-determinisitically. Sometimes this steps succeeds and the next step locks, sometimes another step is needed. I think, I've encountered the error one step earlier as well.https://static.westergaard.video/playlists:hls/966e5c1c-8364-4c29-a98a-db511cc0cf07/b91c1013-e121-40cf-9287-73a776accade-master.m3u8https://westergaard.video/videos/embed/jzpeEXuV7nPBLwFuyhMqeM97002023-12-21T17:59:50.057ZProMdeadlocksEclipseYESWorkNOhttps://westergaard.video/w/kGLwwCcATviSChSgYJ75412026-10-24T18:18:39.641Zhttps://westergaard.video/lazy-static/thumbnails/e5a187cb-0e9e-4a92-be0f-b63b32d570e3.jpgFridayToday is Friday. So very, very much Friday...https://static.westergaard.video/playlists:hls/9f8ed35f-6c3c-49da-a4f7-89d8a6c2548e/40b2d209-ff74-466e-a39c-1790c0e76496-master.m3u8https://westergaard.video/videos/embed/kGLwwCcATviSChSgYJ754138002023-12-21T17:58:09.130ZFridayYESWorkNOhttps://westergaard.video/w/5fC5MXtmP3VJu74AvRtjVw2023-12-21T17:59:56.011Zhttps://westergaard.video/lazy-static/thumbnails/6e7d96eb-24ce-4388-9561-574ae9bf824f.jpgImprobable but possible timingImprobable but possible timinghttps://static.westergaard.video/playlists:hls/226f3441-c899-4ca5-904f-aad9371ff010/b981d508-ea0f-4279-b2a8-7d9041c5f9bd-master.m3u8https://westergaard.video/videos/embed/5fC5MXtmP3VJu74AvRtjVw119002023-12-21T17:59:56.011ZCPN ToolstimeBISYESWorkNOhttps://westergaard.video/w/krzRau2RxwPLQpDDSQ5KHg2026-10-24T18:18:45.381Zhttps://westergaard.video/lazy-static/thumbnails/c3821646-0722-49e0-85e4-d3f386f1f5ee.jpgGrouping of creation tools in ASAPGrouping of tools accoring to bug #86. Better version at http://www.daimi.au.dk/~mw/local/groups86.mp4 Michael Westergaard Recording, speech: Michael Westergaardhttps://static.westergaard.video/playlists:hls/9d701690-8d31-4cb9-8ede-8c5b845c1e05/f8283d8d-a1ec-40e1-8c78-76da3125e765-master.m3u8https://westergaard.video/videos/embed/krzRau2RxwPLQpDDSQ5KHg240002023-12-21T18:00:31.799Zuser interfaceASAPYESWorkNOhttps://westergaard.video/w/1vXCWdYeFmzpLfQ5eRmbTV2026-10-24T18:18:45.683Zhttps://westergaard.video/lazy-static/thumbnails/68ffc216-02a1-4757-a751-93ae6731d94b.jpgCo-simulation modelSimple demonstration of the model used for cosimulation. First, we show the model in its entirety (it is just a hierarchical version of the standard timed version of the simple stop-and-wait protocol). We then show a version split up into two modules, the sender and the rest.https://static.westergaard.video/playlists:hls/042edb52-c0a7-495f-a995-69fdc7670e7b/2d55811c-6aae-432d-b6f6-f58ded42c853-master.m3u8https://westergaard.video/videos/embed/1vXCWdYeFmzpLfQ5eRmbTV206002023-12-21T18:01:10.263Zstop-and-wait protocolASAPcosimulationYESWorkNOhttps://westergaard.video/w/oyLEo2wAGwZFxXgAx2LQDW2026-10-24T18:18:45.981Zhttps://westergaard.video/lazy-static/thumbnails/7789be91-687a-4086-b27a-beb84c88c10a.jpgASAP reporting and dynamic statusASAP reporting and dynamic statushttps://static.westergaard.video/playlists:hls/b6bc5ffa-eefa-4c52-90e3-8eecbf175ca8/8876b347-2283-49e9-8868-024d7e9dcef3-master.m3u8https://westergaard.video/videos/embed/oyLEo2wAGwZFxXgAx2LQDW228002023-12-21T18:05:51.570Zdynamic statusASAPreportingYESWorkNOhttps://westergaard.video/w/uKmXRtidpwLpdmLbnQuJBe2026-10-24T18:18:46.218Zhttps://westergaard.video/lazy-static/thumbnails/a045da17-b610-4f44-ab91-380784c1179f.jpgCosimulation in ASAPShows cosimulation between CPN and C++ in ASAP. Did the whole thing: Michael Westergaardhttps://static.westergaard.video/playlists:hls/e8cdc892-8d78-4677-adf6-89f715a8d9e3/699b5ec4-e132-4458-a25b-e58ba235e1ff-master.m3u8https://westergaard.video/videos/embed/uKmXRtidpwLpdmLbnQuJBe1070002023-12-21T18:12:22.040ZcosimulationC++Petri netsASAPYESWorkNOhttps://westergaard.video/w/pe69bxceCsK7LGHhc3wBkV2026-10-24T18:18:46.486Zhttps://westergaard.video/lazy-static/thumbnails/818ebd88-cdec-4bad-bef5-d63eeaf04444.jpgGrade/CPN Student TesterThis video demonstrates the Grade/CPN Student Tester. For more on Grade/CPN, see http://cpntools.org/gradecpnhttps://static.westergaard.video/playlists:hls/bc1606c7-92ab-4ee5-97f6-87bce2fb0b9f/c55db9e6-fa0e-44fd-882b-811915e99e5b-master.m3u8https://westergaard.video/videos/embed/pe69bxceCsK7LGHhc3wBkV452002023-12-21T18:56:29.058Zstudent testerPetri netsCPN ToolsGrade/CPNYESWorkNOhttps://westergaard.video/w/h8oeeL7odJKdMXtEViPY5p2023-12-21T18:52:03.098Zhttps://westergaard.video/lazy-static/thumbnails/c0915ed8-14b8-4399-98aa-4ccdaa1a2992.jpgQuick Demo of Alignment Using Dijkstra and AutomataQuick Demo of Alignment Using Dijkstra and Automatahttps://static.westergaard.video/playlists:hls/829a1fa3-177b-440f-9782-820685682067/e3672ca1-0a94-44b4-88f1-a6200628b5d5-master.m3u8https://westergaard.video/videos/embed/h8oeeL7odJKdMXtEViPY5p107002023-12-21T18:52:03.098ZDijkstraautomataalignmentYESWorkNOhttps://westergaard.video/w/k5beYrRBQeksjb6VWRCckW2026-10-24T18:18:47.096Zhttps://westergaard.video/lazy-static/thumbnails/b1d0f6b6-b1e2-4fbe-8aeb-237d45e8338b.jpgLow-level Net SupportIn this video I show how the next version of CPN Tools makes it easier to work with low-level nets.https://static.westergaard.video/playlists:hls/9a72ebba-28d6-48d2-92cf-1475f9d10040/30c30f94-7fe9-4098-a724-19f279567d61-master.m3u8https://westergaard.video/videos/embed/k5beYrRBQeksjb6VWRCckW203002023-12-21T18:51:31.671ZCPN Toolslow-level netsPetri netsYESWorkNOhttps://westergaard.video/w/1wP1DDqXkd6sMAniJgtRPk2026-10-24T18:18:47.568Zhttps://westergaard.video/lazy-static/thumbnails/e99b7927-45e7-4928-a253-edff09bd0721.jpgSimplified State Space Analysis in CPN Tools 4Here, I show how CPN Tools 4 simplifies the workflow when generating state-spaces; rather than having to go thru entering the state-space tool, generating the state-space, generating the SCC graph, and saving the report manually, CPN Tools keeps track of which steps have been performed and automatically performs any outstanding steps. This makes it possible to save a standard report in a single step overnight instead of performing 3 manual steps, and releases user from having to know and remember which steps need to be performed after each operation in CPN Tools.https://static.westergaard.video/playlists:hls/044d48e7-0e04-4be3-9eff-803286ba0bc5/9059a2a3-5524-41d1-9dbe-c1d9df5be2f5-master.m3u8https://westergaard.video/videos/embed/1wP1DDqXkd6sMAniJgtRPk244002023-12-21T18:50:13.213ZCPN ToolsCPN Tools 4state-space analysisYESWorkNOhttps://westergaard.video/w/uJiNU2zcfr1sgzVe66jhqa2026-10-24T18:18:47.847Zhttps://westergaard.video/lazy-static/thumbnails/a00fb44c-4c02-496e-8584-a907a7c435a5.jpgInhibitor and Reset Arcs in CPN Tools 4In this video I show how inhibitor and reset arcs work in CPN Tools 4.https://static.westergaard.video/playlists:hls/e8a81882-7274-4145-95bb-bbf256bd38b9/aa74f643-597f-442c-b039-625d378b6b10-master.m3u8https://westergaard.video/videos/embed/uJiNU2zcfr1sgzVe66jhqa232002023-12-21T18:14:15.508ZPetri netsCPN Tools 4CPN Toolsreset arcsinhibitor arcsYESWorkNOhttps://westergaard.video/w/vCGq3ZNH1eBRiG3h58PsUe2026-10-24T18:18:48.150Zhttps://westergaard.video/lazy-static/thumbnails/7819bc8b-c074-4e06-8779-04f612dfc2f4.jpgWhy We Do Formal VerificationThis is why we for formal verification and applications to free coffee (or tea).https://static.westergaard.video/playlists:hls/eff8b40b-0c3f-4718-ab1d-1ff400bcc7c5/d9f2dc1f-7f47-4c4e-9b2e-dfa9c616b718-master.m3u8https://westergaard.video/videos/embed/vCGq3ZNH1eBRiG3h58PsUe54002023-12-21T18:18:59.149Zformal verificationformal modelingcoffeeteaYESWorkNOhttps://westergaard.video/w/pqEYMipmpXgpcdFPQ4tby52026-10-24T18:18:48.455Zhttps://westergaard.video/lazy-static/thumbnails/0563c327-81d3-47b1-bb27-76b1dc93ccfa.jpgSimulator Extensions in CPN Tools (Part 1)In this video, I show examples of the new simulator extensions (http://westergaard.eu/2012/08/simulator-extensions-in-cpn-tools/) in CPN Tools 4. The Hello World example comprises 182 lines of (mostly GUI) code and showcases how an extension can get notifications when changes are made to a model. The Declare example comprises 240 lines of code shows how we can alter the semantics and organically extend CPN Tools. Don't watch this with headphones -- the audio is terrible but there is only so much you can do with a laptop microphone in a hotel room at 3 in the night...https://static.westergaard.video/playlists:hls/bdb40fb2-2083-4e91-b199-8cc003872f54/3f0aae37-0b56-4a71-94d0-281710b62752-master.m3u8https://westergaard.video/videos/embed/pqEYMipmpXgpcdFPQ4tby5205002023-12-21T18:49:11.288ZCPN Tools 4formal modelingCPN Toolssimulator extensionsPetri netsYESWorkNOhttps://westergaard.video/w/gJ1tg5AnfrNyv7VfJ2ziuT2026-10-24T18:18:48.758Zhttps://westergaard.video/lazy-static/thumbnails/31037dec-56a0-4da8-817b-dc017d1f8fae.jpgTime Intervals and ReductionTime intervals and time-equivalence reduction in CPN Tools 4.https://static.westergaard.video/playlists:hls/7f569b9e-836b-4a96-979e-ba9efbc4da67/9720d49c-b9dc-4c59-b5df-bbae23fbfeef-master.m3u8https://westergaard.video/videos/embed/gJ1tg5AnfrNyv7VfJ2ziuT476002023-12-21T18:20:56.749ZCPN Tools 4CPN Toolstime-equivalence reductiontime intervalsPetri netsYESWorkNOhttps://westergaard.video/w/aUY4yy4Kia67JhcxPhu2ye2026-10-24T18:18:49.050Zhttps://westergaard.video/lazy-static/thumbnails/011f6f6d-99b2-411c-ae47-24ca6ce80a6a.jpgPNML Export and Minor FeaturesIn this video, I showcase the new PNML export in CPN Tools 3.5.4 and newer. I also show the new simplified automatic alignment and the simplified load/save tools.https://static.westergaard.video/playlists:hls/50477919-875b-46fc-a54b-b250b19e3371/1ff2531d-0f94-46d2-a6a4-4f9ac5a89508-master.m3u8https://westergaard.video/videos/embed/aUY4yy4Kia67JhcxPhu2ye141002023-12-21T18:47:00.605ZPetri netsCPN Tools 4CPN ToolsPNMLYESWorkNOhttps://westergaard.video/w/19xqvm3UDvUpEenmHwpFmV2026-10-24T18:18:49.324Zhttps://westergaard.video/lazy-static/thumbnails/5dbedf33-bf14-4dc0-a84a-162a9c7f127f.jpgDebugging and Visualization in CPN Tools 4In this video I demo the new protocol debugger and the capability to remote control the CPN Tools GUI. This ability is put to use to make a nice visualization.https://static.westergaard.video/playlists:hls/013150a2-20a8-498f-9bd6-bfe18ab06bd1/688b0a38-6dc3-4a7e-9edf-6adcb01d194e-master.m3u8https://westergaard.video/videos/embed/19xqvm3UDvUpEenmHwpFmV256002023-12-21T18:24:10.805ZvisualizationCPN ToolsCPN Tools 4simulator extensionsdebuggingYESWorkNOhttps://westergaard.video/w/neo9NgG3Fvup1LGbo16Eg12026-10-24T18:18:49.579Zhttps://westergaard.video/lazy-static/thumbnails/97537a0a-a481-45db-8743-43b9aaef391b.jpgReal Colorsets in CPN Tools 4In this video, I demonstrate three new types available in CPN Tools 4: intinf, real, and time.https://static.westergaard.video/playlists:hls/abee3b7a-0d04-4246-9b4a-3e0506e70fc6/f2a154a6-d6eb-4785-ba67-976ca6fa1e1a-master.m3u8https://westergaard.video/videos/embed/neo9NgG3Fvup1LGbo16Eg1166002023-12-21T18:22:42.225ZcolorsetsCPN Tools 4Petri netsCPN ToolsrealsYESWorkNOhttps://westergaard.video/w/xhLAAoq3VzVziiLR5nodyF2026-10-24T18:18:49.852Zhttps://westergaard.video/lazy-static/thumbnails/476325bf-0c5a-467f-ad52-fc7ac85782ea.jpgAdvanced Visualization in CPN Tools 4Here I show how to use and develop high-level visualization primitives with CPN Tools 4.https://static.westergaard.video/playlists:hls/fd62aeab-9150-4e39-b12d-a18edd39b497/ff430bd4-6742-4158-aada-e01a7d6db50a-master.m3u8https://westergaard.video/videos/embed/xhLAAoq3VzVziiLR5nodyF506002023-12-21T18:29:37.433Zformal modelingvisualizationPetri netsCPN Tools 4CPN ToolsYESWorkNOhttps://westergaard.video/w/7GzmDuBbrHiDVWKjLUpSb22023-12-21T18:41:56.701Zhttps://westergaard.video/lazy-static/thumbnails/7aadc452-2925-4f03-ac94-b20df357c2fc.jpgQuick n dirtyQuick n dirtyhttps://static.westergaard.video/playlists:hls/3641239c-a056-4f7d-a417-f487409883a5/3a382a6e-6f8e-488c-b0a9-b01a6dbdc26e-master.m3u8https://westergaard.video/videos/embed/7GzmDuBbrHiDVWKjLUpSb2146002023-12-21T18:41:56.701ZYESWorkNOhttps://westergaard.video/w/oJ83vm7JcfFErCFL3Hs8x42026-10-24T18:18:55.232Zhttps://westergaard.video/lazy-static/thumbnails/94ed76ee-49a3-4973-b09d-fed243b3b96b.jpgCPN Tools and ProcessesDemo of process-oriented features of CPN Tools 4. I apologize fort the bad sound. Download CPN Tools from http://cpntools.org/download Watch the introduction videos at http://cpntools.org/gettingstarted/starthttps://static.westergaard.video/playlists:hls/b80aa11f-b42e-4323-b68d-68a71468b865/8fe58d2f-c7a1-4237-817a-bcace3bf20d1-master.m3u8https://westergaard.video/videos/embed/oJ83vm7JcfFErCFL3Hs8x4581002023-12-21T18:47:35.196ZBPMCPN Tools 4DeclareCPN ToolsProMYESWorkNOhttps://westergaard.video/w/nqnr4kjyd8TXZcGggBxA7o2026-10-24T18:18:55.526Zhttps://westergaard.video/lazy-static/thumbnails/c3995d11-da6e-42b3-b060-41399a058510.jpgUnconstrainedMinerThis is a demo of the UnconstrainedMiner, a simple but fast for mining full Declare models. The tool uses symmetry reduction and parallelism to speed up mining, and uses a super-scalar process allowing it to mine several constraints at the same time.https://static.westergaard.video/playlists:hls/ad76f865-3add-47af-8643-902ba3ccf362/81ac70f4-6960-4dde-af57-22cd746d3264-master.m3u8https://westergaard.video/videos/embed/nqnr4kjyd8TXZcGggBxA7o364002023-12-21T18:31:33.303Zprocess miningsuper-scalarsymmetry reductionparallelismDeclareYESWorkNOhttps://westergaard.video/w/kDw5NDp9zM2D4NdkGnByKQ2026-10-24T18:18:55.780Zhttps://westergaard.video/lazy-static/thumbnails/1dffe349-c414-48ad-a8e3-af8f55ae50b9.jpgScientific WorkflowUltra-quick demo of scientific workflow in ProM6.3 (or 6.4).https://static.westergaard.video/playlists:hls/9f1ab177-bd93-40e8-a3d6-598a1a2971f6/8b427506-5637-436e-862e-c0b25076eee9-master.m3u8https://westergaard.video/videos/embed/kDw5NDp9zM2D4NdkGnByKQ68002023-12-21T18:40:41.681Zprocess miningscientific workflowProMYESWorkNOhttps://westergaard.video/w/fkzvBX1jQ4Kxqt1BEZf6R52026-10-24T18:18:55.985Zhttps://westergaard.video/lazy-static/thumbnails/6df2d4ac-88ce-4b97-9ad2-ec6fd86b6655.jpgRobbie Williams Brussels 2013 -- BalloonsPart of the Robbie Williams concert when the balloons fly out of the giant bust.https://static.westergaard.video/playlists:hls/741bb97d-0676-4bba-ad70-2c361f256312/f95ce5a3-73a0-48c3-81f7-09ed7614e532-master.m3u8https://westergaard.video/videos/embed/fkzvBX1jQ4Kxqt1BEZf6R521002023-12-21T18:33:30.227ZRobbie WilliamsballoonsConcertYESWorkNOhttps://westergaard.video/w/kRjy6j3M4wdBsv1d5Zo1Tz2023-12-21T18:31:08.803Zhttps://westergaard.video/lazy-static/thumbnails/21ff3ea5-a5c2-4b53-93d5-0056f571340d.jpgAssigning a subpage to a transitionAssigning a subpage to a transitionhttps://static.westergaard.video/playlists:hls/a0c0835d-bb75-4af6-a69c-b0b05ea7a22f/7cf133a3-f548-4272-a534-6820e019d7d5-master.m3u8https://westergaard.video/videos/embed/kRjy6j3M4wdBsv1d5Zo1Tz11002023-12-21T18:31:08.803ZsubpagestransitionsYESWorkNOhttps://westergaard.video/w/mFYk2Ee2JY116GqSmorL7R2026-10-24T18:18:56.417Zhttps://westergaard.video/lazy-static/thumbnails/f400be34-ce74-4d3c-9a46-19fa675fab13.jpgSimple Declare Editing in CPN Tools 4Here I demonstrate simple editing of Declare in CPN Tools 4; we notice that enabling is updated as I simulate and alter the constraints. For a full description of the facility, refer to http://westergaard.eu/2013/08/cpn-tools-4-declare-constraints/https://static.westergaard.video/playlists:hls/a78b7e5f-53ee-4bed-bdf9-1ef3294d4005/c81973bb-bb4b-467d-a125-ee60996e6486-master.m3u8https://westergaard.video/videos/embed/mFYk2Ee2JY116GqSmorL7R87002023-12-21T18:33:13.128ZCPN Tools 4CPN Toolsformal modelingDeclareYESWorkNOhttps://westergaard.video/w/wdn8tVe2sf98ABWtpPBvhR2023-12-21T18:35:56.419Zhttps://westergaard.video/lazy-static/thumbnails/db633ffa-8eb9-485a-bfe0-34fdc968053b.jpgWindy SinterklaasWindy Sinterklaashttps://static.westergaard.video/playlists:hls/f4ac1b32-a57e-4071-a788-56199e571e6d/b04e9716-faea-405c-9fdb-44951c84788d-master.m3u8https://westergaard.video/videos/embed/wdn8tVe2sf98ABWtpPBvhR23002023-12-21T18:35:56.419ZwindSinterklaasYESWorkNOhttps://westergaard.video/w/icUe9NydC2KHcka6FUTT5z2026-10-24T18:18:56.839Zhttps://westergaard.video/lazy-static/thumbnails/eb44379b-0e1a-4b98-af5b-76704725caea.jpgBikingThis is the fun part of biking to work. Doesn't last long and this stretch sucks on the way home, so I took a video because that lasts longer.https://static.westergaard.video/playlists:hls/8b54b97d-7b82-41d4-9e25-c1784a2a428d/591aa753-33dc-4830-b4dc-d46a84207995-master.m3u8https://westergaard.video/videos/embed/icUe9NydC2KHcka6FUTT5z19012023-12-21T18:38:14.078ZbikingYESWorkNOhttps://westergaard.video/w/xppSxJXQmeTkGsmipKMcwK2026-10-24T18:18:57.052Zhttps://westergaard.video/lazy-static/thumbnails/30232324-c3df-4645-b592-b02ac0813fa2.jpgCustom Dining Philosophers Visualization in CPN ToolsUser-contributed simulator extension making neat visualizations in CPN Tools. Here we see the dining philosophers with a pedagogical illustration all running inside CPN Tools.https://static.westergaard.video/playlists:hls/fe501dd3-6616-43b8-a675-a9301a2eaddb/5124e2ab-ba43-4543-a560-0a266a6943fe-master.m3u8https://westergaard.video/videos/embed/xppSxJXQmeTkGsmipKMcwK74002023-12-21T18:34:44.276ZCPN ToolsvisualizationCPN Tools 4Dining PhilosophersPetri netsYESWorkNOhttps://westergaard.video/w/wXszK9k4J3VQCQ3EFw8oUR2026-10-14T07:48:46.980Zhttps://westergaard.video/lazy-static/thumbnails/a5bdecae-c8ca-4ba7-842f-094716dfdbd4.jpgHow to Drop 20 Pounds in Less than a Week No Exercise RequiredHow to Drop 20 Pounds in Less than a Week No Exercise Requiredhttps://static.westergaard.video/playlists:hls/fab072e1-f26a-4a54-a8b4-d1a5c7f279e9/793e35a1-5bf5-4c87-905c-6714b3aa3d56-master.m3u8https://westergaard.video/videos/embed/wXszK9k4J3VQCQ3EFw8oUR45002023-12-21T18:39:35.774ZJokeFitnessweight lossMoneyLifehackYESWorkNOhttps://westergaard.video/w/93YHa65miTrgnDXdkJBR462023-12-21T18:36:41.244Zhttps://westergaard.video/lazy-static/thumbnails/6197d9e6-8a26-4f41-a128-d7e073069e22.jpgConvenientConvenienthttps://static.westergaard.video/playlists:hls/41338b9c-2621-4c74-91f0-eba252ed1f0f/92e9081b-5749-43bc-ab5f-6b7682831531-master.m3u8https://westergaard.video/videos/embed/93YHa65miTrgnDXdkJBR4613012023-12-21T18:36:41.244ZYESWorkNOhttps://westergaard.video/w/6eYSffV4X6gp5cwJVRV7Xu2023-12-21T18:37:58.236Zhttps://westergaard.video/lazy-static/thumbnails/c9a968d8-3319-4f0f-9283-fdae3a939a1a.jpgTree MurderTree Murderhttps://static.westergaard.video/playlists:hls/2a71684c-790b-45be-bd49-2ab16d637862/47c68cd0-0733-4c00-bb27-6b14c39e5fc6-master.m3u8https://westergaard.video/videos/embed/6eYSffV4X6gp5cwJVRV7Xu61002023-12-21T18:37:58.236ZYESWorkNOhttps://westergaard.video/w/hGU9K1kBuoL74u5BstGSut2023-12-21T18:39:40.071Zhttps://westergaard.video/lazy-static/thumbnails/b1becb65-80e2-4951-905e-d0a8b0cfb4d8.jpgHealthKPIHealthKPIhttps://static.westergaard.video/playlists:hls/87481bbe-ca10-463d-86c0-7fb470f6276b/69b25720-df66-4319-b4e6-662bbf772a60-master.m3u8https://westergaard.video/videos/embed/hGU9K1kBuoL74u5BstGSut20002023-12-21T18:39:40.071ZYESWorkNOhttps://westergaard.video/w/6FHtB3rWSqfoPXCRWuVfxr2024-01-25T17:50:21.843Zhttps://westergaard.video/lazy-static/thumbnails/29b04dcf-27dc-436d-978b-07e19fe7b576.jpgTimelapse 2018Timelapse 2018/05/01-2018/12/31https://static.westergaard.video/playlists:hls/2e0942c2-a41a-4e0e-b5e9-314b7856181f/dd63fb0e-4bdc-4948-b46f-d459b078eea5-master.m3u8https://westergaard.video/videos/embed/6FHtB3rWSqfoPXCRWuVfxr1081012024-01-25T17:50:21.843ZYESRandomNOhttps://westergaard.video/w/spjwvkzLWBL76QeMdXC8Vy2024-01-25T18:01:01.366Zhttps://westergaard.video/lazy-static/thumbnails/3a763e74-f045-494a-bbef-cc524c31a38a.jpgTimelapse 2019Timelapse 2019/01/01-2019/12/31https://static.westergaard.video/playlists:hls/d5cf20ff-9270-4c1b-ac66-a07c018b636e/ae3110f5-04a8-47b0-bffa-4d52764d39d8-master.m3u8https://westergaard.video/videos/embed/spjwvkzLWBL76QeMdXC8Vy1605012024-01-25T18:01:01.366ZYESRandomNOhttps://westergaard.video/w/vKX6rc17xQG3vLSJAnr74s2024-01-25T18:08:43.089Zhttps://westergaard.video/lazy-static/thumbnails/30a92911-1264-4c4d-83be-51457fe32544.jpgTimelapse 2020Timelapse 2020/01/01-2020/12/31https://static.westergaard.video/playlists:hls/f0fbf4b8-d8aa-4f94-9948-b6d73ed88898/99ef9fa7-cafb-480f-b221-2e7c40e3d1b2-master.m3u8https://westergaard.video/videos/embed/vKX6rc17xQG3vLSJAnr74s1403012024-01-25T18:08:43.089ZYESRandomNOhttps://westergaard.video/w/6GVw3BpwfKRRUPr7mTDe2x2024-01-25T18:23:59.577Zhttps://westergaard.video/lazy-static/thumbnails/c62e5e27-d9d2-4e75-b333-2639b477872b.jpgTimelapse 2021Timelapse 2021/01/01-2021/12/31https://static.westergaard.video/playlists:hls/2e346cfd-f3c8-4886-899c-8e748026dca5/36c2af01-34e1-4d0d-b7a8-72bee540c24e-master.m3u8https://westergaard.video/videos/embed/6GVw3BpwfKRRUPr7mTDe2x1585012024-01-25T18:23:59.577ZYESRandomNOhttps://westergaard.video/w/uTyZ1RdPoZKYX1Du7pKuyz2024-03-31T22:28:31.345Zhttps://westergaard.video/lazy-static/thumbnails/cb8b10f5-4d42-4d2f-8fdb-5a5986d592a3.jpgBiking to workWant to experience the thrill of traffic without having to go anywhere? Want the joy of biking without the pesky exercise? Well, look no further. A morning ride to work during the Dutch spring, where I hit green at all stop lights and don't have to wait for a crossing train.https://static.westergaard.video/playlists:hls/e9f32429-1d6d-43dd-9fc7-4acc3c95fbb9/d4bb32fa-d78b-4e76-9f04-00bd167438db-master.m3u8https://westergaard.video/videos/embed/uTyZ1RdPoZKYX1Du7pKuyz855082024-03-31T22:28:31.345Zworkgray5kmbikingYESBikingNOhttps://westergaard.video/w/hjWYrsfJgeUkj12PuciU2k2024-04-01T20:23:50.403Zhttps://westergaard.video/lazy-static/thumbnails/5d3c75d9-ef6a-45ed-b8d6-069af2092daa.jpgBiking around EindhovenWant to experience the thrill of traffic without having to go anywhere? Want the joy of biking without the pesky exercise? Well, look no further. An afternoon ride around Eindhoven during the Dutch spring. Featuring both kinds of Dutch weather: rain and about to rain. https://static.westergaard.video/playlists:hls/84377c1a-f2ec-44f3-aa15-5ccede5fd5b5/952ff320-b1bd-49e6-906d-17f5bd06c119-master.m3u8https://westergaard.video/videos/embed/hjWYrsfJgeUkj12PuciU2k8375062024-04-01T20:23:50.403Zsunbikinggrayrain50kmYESBikingNOhttps://westergaard.video/w/xvRJ2DdimBzRYDtPzYsK1h2024-05-28T08:32:22.103Zhttps://westergaard.video/lazy-static/thumbnails/eceffcd9-d5b7-4977-92e6-45834a3803da.jpgSinging Fountain @ BudapestSinging Fountain @ Budapesthttps://static.westergaard.video/playlists:hls/ff3682fd-681f-427d-8898-1371a987d48c/6bdd7a14-fa6e-44eb-bf54-9f9c074a25c4-master.m3u8https://westergaard.video/videos/embed/xvRJ2DdimBzRYDtPzYsK1h90112024-05-28T08:32:22.103ZYESRandomNOhttps://westergaard.video/w/mWUbBaPANkRbcQUQR7m3MT2025-06-15T21:42:25.371Zhttps://westergaard.video/lazy-static/thumbnails/d4014015-7aba-4e97-8c0b-2e0c6855fe97.jpgNessa Barrett Utrecht 25Nessa Barrett Utrecht 25https://static.westergaard.video/playlists:hls/a9a1187a-3a6e-4aa4-bcd8-5072366f3dcd/a0006dc5-db9f-4475-b177-9f9ab5345408-master.m3u8https://westergaard.video/videos/embed/mWUbBaPANkRbcQUQR7m3MT2000112025-06-15T21:42:25.371ZConcertUtrechtNessa BarrettYESMusicNOhttps://westergaard.video/w/uouH7Pv4wDP746iHdaZEy32026-01-06T19:44:41.409Zhttps://westergaard.video/lazy-static/thumbnails/bb8d5dbb-8011-46fd-badc-26b4a69c2b23.jpgSnow Day BikingSnow Day Bikinghttps://static.westergaard.video/playlists:hls/e5e3f01b-b02a-4949-a9a2-34a71a58cc52/45b9ee75-d3ab-437a-8ef2-7d7e8791bc15-master.m3u8https://westergaard.video/videos/embed/uouH7Pv4wDP746iHdaZEy3967032026-01-06T19:44:41.409ZwinterbikingYESBikingNOhttps://westergaard.video/w/esKgsATMx8N7V7K7TzftZH2026-01-06T20:15:08.082Zhttps://westergaard.video/lazy-static/thumbnails/f9b26ef1-599b-4aff-b1cd-602ddb09d8e6.jpgSnow Day BikingSnow Day Bikinghttps://static.westergaard.video/playlists:hls/6d02cdf6-afa2-40bd-873a-3546965944ff/662e5617-15c2-4b8a-8aea-5e7f97570b1f-master.m3u8https://westergaard.video/videos/embed/esKgsATMx8N7V7K7TzftZH1031052026-01-06T20:15:08.082ZbikingwinterYESBikingNOhttps://westergaard.video/w/aWgQtgPpeYMRtzbyZFsb6T2026-10-14T20:37:39.930Zhttps://westergaard.video/lazy-static/thumbnails/ca8fa4e9-89ba-48b5-afd9-c611a9943b68.pngChrissy Chlapecka Amsterdam 2026Chrissy Chlapecka Amsterdam 2026https://static.westergaard.video/playlists:hls/50762bad-466e-4aa3-9ff3-6af60edd96dd/d54968a7-2ae2-44a6-a182-b5298d3134b1-master.m3u8https://westergaard.video/videos/embed/aWgQtgPpeYMRtzbyZFsb6T140002026-10-14T20:36:02.064ZYESMusicNOhttps://westergaard.video/w/5qWmduCMa53w6PB2Xmx4yz2026-10-17T22:54:15.785Zhttps://westergaard.video/lazy-static/thumbnails/54b347e5-769a-4e43-868b-ec2db4be38fc.jpgBloomSky — March 2017BloomSky weather-camera time lapse: 2017-03-05 to 2017-03-31. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/23dfe60a-90b4-4b7a-b4e5-11dd14339305/9ecc22d5-8f8f-4939-a707-5ae8b97d2fd5-master.m3u8https://westergaard.video/videos/embed/5qWmduCMa53w6PB2Xmx4yz138012026-10-17T22:54:15.785Zweatherbloomskytimelapse2017YESRandomNOhttps://westergaard.video/w/sJkmmuXyZDQXG7bWH5Scor2026-10-17T22:54:21.276Zhttps://westergaard.video/lazy-static/thumbnails/4af748b2-2cc3-4223-ada7-5db6f1ecf40a.jpgBloomSky — April 2017BloomSky weather-camera time lapse: 2017-04-01 to 2017-04-25. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/d876c4d8-82a6-424f-9904-51c5d79c78d1/2a32e76e-ffbd-41b3-be03-df9191a43e36-master.m3u8https://westergaard.video/videos/embed/sJkmmuXyZDQXG7bWH5Scor143002026-10-17T22:54:21.276Zbloomskyweathertimelapse2017YESRandomNOhttps://westergaard.video/w/4nDZP47K6RibZccfJmbAF32026-10-17T22:59:24.894Zhttps://westergaard.video/lazy-static/thumbnails/08febd68-ed31-4104-8b13-0f25385226d4.jpgBloomSky — May 2017BloomSky weather-camera time lapse: 2017-05-01 to 2017-05-31. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/1b517393-fa69-432e-8044-7be88e4e5eb0/6e81207b-4a00-4604-97b4-32ba3f8af94a-master.m3u8https://westergaard.video/videos/embed/4nDZP47K6RibZccfJmbAF3208002026-10-17T22:59:24.894Ztimelapse2017bloomskyweatherYESRandomNOhttps://westergaard.video/w/wbA2MaeFk3HPvvcLSpyaRb2026-10-17T23:05:05.619Zhttps://westergaard.video/lazy-static/thumbnails/a098485f-1291-40e4-86ef-d9b41713a128.jpgBloomSky — June 2017BloomSky weather-camera time lapse: 2017-06-01 to 2017-06-30. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/f46c91d4-17d6-4463-9e18-16c663488598/1996c10e-6ed3-4bbd-999d-d1bd69c1755f-master.m3u8https://westergaard.video/videos/embed/wbA2MaeFk3HPvvcLSpyaRb207002026-10-17T23:05:05.619Ztimelapsebloomskyweather2017YESRandomNOhttps://westergaard.video/w/s8E98w8qh7rrxTEq9iswMT2026-10-17T22:59:28.755Zhttps://westergaard.video/lazy-static/thumbnails/6a80b8e0-f0e7-4240-b988-0330b1e009ce.jpgBloomSky — July 2017 (1–14 July)BloomSky weather-camera time lapse: 2017-07-01 to 2017-07-14. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/d39f50f6-919c-4c64-96ea-8454fa77b1bd/cfd3554b-a0e8-4a05-a82f-5d69180af174-master.m3u8https://westergaard.video/videos/embed/s8E98w8qh7rrxTEq9iswMT85002026-10-17T22:59:28.755Zweather2017bloomskytimelapseYESRandomNOhttps://westergaard.video/w/tnDvnvbRNrZSnys9amKHU22026-10-17T23:04:59.247Zhttps://westergaard.video/lazy-static/thumbnails/6218c90b-7bd6-4a54-a0a0-57632b95d575.jpgBloomSky — July 2017 (23–31 July)BloomSky weather-camera time lapse: 2017-07-23 to 2017-07-31. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/ddac7a24-df70-45de-a324-42ae36a4b825/d6ada4fd-8cd0-47f5-9c93-9bed8d09ea24-master.m3u8https://westergaard.video/videos/embed/tnDvnvbRNrZSnys9amKHU261002026-10-17T23:04:59.247Ztimelapsebloomsky2017weatherYESRandomNOhttps://westergaard.video/w/w5csWDrthqRhsz5vqEbtz32026-10-17T23:04:42.875Zhttps://westergaard.video/lazy-static/thumbnails/1b9a2d95-4450-430a-8b93-2e144e2a0d91.jpgBloomSky — August 2017BloomSky weather-camera time lapse: 2017-08-01 to 2017-08-17. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/f388333c-7424-4be3-9797-c1a2da3eb378/be71cd98-c91d-438d-917d-fad00de42f1b-master.m3u8https://westergaard.video/videos/embed/w5csWDrthqRhsz5vqEbtz3103002026-10-17T23:04:42.875Zweatherbloomsky2017timelapseYESRandomNOhttps://westergaard.video/w/rf5eo4rtQ3uEVa35VgWPVK2026-10-17T23:04:54.945Zhttps://westergaard.video/lazy-static/thumbnails/74fc77d8-bbbe-4be0-a09c-270dce7d018b.jpgBloomSky — September 2017BloomSky weather-camera time lapse: 2017-09-22 to 2017-09-30. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/cc6b7c8d-c7d7-4706-ac07-d764790f6949/33af009a-5961-47a8-815c-7d1058e7cb8f-master.m3u8https://westergaard.video/videos/embed/rf5eo4rtQ3uEVa35VgWPVK43002026-10-17T23:04:54.945Zbloomskytimelapseweather2017YESRandomNOhttps://westergaard.video/w/gQP8VEbq4EDGbwgU3zTDix2026-10-17T23:04:51.381Zhttps://westergaard.video/lazy-static/thumbnails/9aa2abf0-f844-4e1d-8d7b-ba4b9a39d714.jpgBloomSky — November 2017BloomSky weather-camera time lapse: 2017-11-13 to 2017-11-30. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/8049d470-d3a2-4bf0-a29b-d778000e86f5/1140f247-1ea1-4fba-88ea-72d65c8dc88c-master.m3u8https://westergaard.video/videos/embed/gQP8VEbq4EDGbwgU3zTDix68002026-10-17T23:04:51.381Z2017weathertimelapsebloomskyYESRandomNOhttps://westergaard.video/w/7x9Ad3FzDYaEZFV8LJZ6Em2026-10-17T23:04:46.601Zhttps://westergaard.video/lazy-static/thumbnails/cb2bfcd5-24c3-4ba9-8719-44e7ce53b06e.jpgBloomSky — December 2017BloomSky weather-camera time lapse: 2017-12-01 to 2017-12-11. Recorded date and hour appear in the video. Regular overnight shutdowns are skipped; missed daytime captures are held and extended holds identify the last capture. Playback runs at 9,000× during retained recording periods. No audio.https://static.westergaard.video/playlists:hls/34f02eb6-aa89-4d44-a20c-8932b5a7c2ac/aed17cf5-042a-40cd-8212-3d141a0967cf-master.m3u8https://westergaard.video/videos/embed/7x9Ad3FzDYaEZFV8LJZ6Em40002026-10-17T23:04:46.601Zbloomsky2017weathertimelapseYESRandomNOhttps://westergaard.video/w/hkW6iRMAF2LDj8FZ4422gs2026-10-22T19:51:06.495Zhttps://westergaard.video/lazy-static/thumbnails/041743a3-fc16-4aaf-a0a7-fd7de4a111cd.jpgBar ChartBar-chart visualization in CPN Tools.https://static.westergaard.video/playlists:hls/845aaf6d-e6c2-477e-a835-e83ed9222f9c/139a679b-1799-46a7-841c-b1274dd56e74-master.m3u8https://westergaard.video/videos/embed/hkW6iRMAF2LDj8FZ4422gs14002026-10-22T19:51:06.495ZdemoCPN ToolsPetri netsYESCPN ToolsNOhttps://westergaard.video/w/v18Teg35nZsC476RGCKFSv2026-10-22T19:51:29.823Zhttps://westergaard.video/lazy-static/thumbnails/c3539f31-5a27-48f3-b1cb-be80a697e98d.jpgDeclareDeclare editing and simulation in CPN Tools.https://static.westergaard.video/playlists:hls/eadde11e-25a9-4ec5-a2bb-8092f18172a5/1070ea29-710d-4ed2-a028-7b9a6ae20741-master.m3u8https://westergaard.video/videos/embed/v18Teg35nZsC476RGCKFSv90002026-10-22T19:51:29.823ZdemoDeclarePetri netsCPN ToolsYESCPN ToolsNOhttps://westergaard.video/w/32xHWHMTx5cdBh88VJzp432026-10-22T19:52:05.062Zhttps://westergaard.video/lazy-static/thumbnails/d4489802-bc3d-4b60-9b7b-a9a5a88a72ed.jpgExtensionsSimulator extensions and visualization in CPN Tools.https://static.westergaard.video/playlists:hls/10699239-1ab3-4c6a-b445-66153d35a814/daf0895d-07e9-43a5-8743-d20d2edb9641-master.m3u8https://westergaard.video/videos/embed/32xHWHMTx5cdBh88VJzp43144002026-10-22T19:52:05.062ZPetri netsCPN ToolsdemoYESCPN ToolsNOhttps://westergaard.video/w/1d79vYspvARVsLX3jEyLS92026-10-22T19:52:13.901Zhttps://westergaard.video/lazy-static/thumbnails/287e6c8a-7d4a-4f64-a2c3-42e70e674fad.jpgModel ChangesModel changes during simulation in CPN Tools.https://static.westergaard.video/playlists:hls/01b0b69f-1d74-4913-845a-aace49cfa22c/d0e2d711-e910-4afe-a5b4-d3449020d338-master.m3u8https://westergaard.video/videos/embed/1d79vYspvARVsLX3jEyLS996002026-10-22T19:52:13.901ZCPN ToolsPetri netsdemoYESCPN ToolsNOhttps://westergaard.video/w/vFENQznwN5tJiQBQqVcQEi2026-10-22T19:52:22.611Zhttps://westergaard.video/lazy-static/thumbnails/93d01e2c-9e0a-478e-8a66-2151d4e92a95.jpgNAWL Demo 1NAWL (Not Another Workflow Language) demonstration 1, recorded in ProM.https://static.westergaard.video/playlists:hls/f062f1b4-fd66-4228-94c5-bd69fd9efff5/b924f960-3b7d-45cc-992f-0f5d5b15e188-master.m3u8https://westergaard.video/videos/embed/vFENQznwN5tJiQBQqVcQEi63002026-10-22T19:52:22.611Zoperational supportNAWLdemoProMworkflowYESProcess MiningNOhttps://westergaard.video/w/5RFJQzZY4nSe1ZvrA4ncV52026-10-22T19:52:35.201Zhttps://westergaard.video/lazy-static/thumbnails/befaf04c-5d97-429b-894c-55d211219b50.jpgNAWL Demo 2NAWL (Not Another Workflow Language) demonstration 2, recorded in ProM.https://static.westergaard.video/playlists:hls/27547d38-5111-4642-ae9c-e35caf6d020a/59ee26d9-1faf-4d75-beb1-8c4599eac5c5-master.m3u8https://westergaard.video/videos/embed/5RFJQzZY4nSe1ZvrA4ncV560002026-10-22T19:52:35.201ZdemoNAWLProMworkflowoperational supportYESProcess MiningNOhttps://westergaard.video/w/o8FWhvXvB9LESf5DV8e8T92026-10-22T19:52:45.537Zhttps://westergaard.video/lazy-static/thumbnails/3a56a582-dac2-47a8-bb92-3dbf71722b18.jpgNAWL Demo 3NAWL (Not Another Workflow Language) demonstration 3, recorded in ProM.https://static.westergaard.video/playlists:hls/b33bde49-8e4b-45da-bd38-fa5ead971c6a/8e8f161f-5e83-4a21-876a-bd44b8a91639-master.m3u8https://westergaard.video/videos/embed/o8FWhvXvB9LESf5DV8e8T972002026-10-22T19:52:45.537Zoperational supportdemoNAWLProMworkflowYESProcess MiningNOhttps://westergaard.video/w/2WkmCehkS9mVhcRMa3XckE2026-10-22T19:52:55.605Zhttps://westergaard.video/lazy-static/thumbnails/db1d532f-2063-4aba-9905-7059463e948f.jpgNAWL Demo 4NAWL (Not Another Workflow Language) demonstration 4, recorded in ProM.https://static.westergaard.video/playlists:hls/0faf3b05-5cd5-48e3-adc8-119ea3820b18/f3bfa7b9-df8c-42bf-8c81-01eee4c7d0bb-master.m3u8https://westergaard.video/videos/embed/2WkmCehkS9mVhcRMa3XckE87002026-10-22T19:52:55.605ZworkflowdemoNAWLProMoperational supportYESProcess MiningNOhttps://westergaard.video/w/3qXo6YQ7GouVDXKiDg5g9i2026-10-22T19:53:07.557Zhttps://westergaard.video/lazy-static/thumbnails/62198db4-6423-4bc8-8005-dc05a6cd9e5a.jpgNAWL Demo 5NAWL (Not Another Workflow Language) demonstration 5, recorded in ProM.https://static.westergaard.video/playlists:hls/13ae41f2-9a3b-43ad-8097-ca2aa22e2e6d/a177d775-f65f-4d0b-85c0-5570db056ee5-master.m3u8https://westergaard.video/videos/embed/3qXo6YQ7GouVDXKiDg5g9i83002026-10-22T19:53:07.557ZworkflowNAWLdemoProMoperational supportYESProcess MiningNOhttps://westergaard.video/w/aUjmx8WiJRiDVw5LGFdHFg2026-10-22T19:53:35.894Zhttps://westergaard.video/lazy-static/thumbnails/2e85e5f5-5256-4d3c-88fc-44e9fd2f4869.jpgNAWL Demo 6NAWL (Not Another Workflow Language) demonstration 6, recorded in ProM.https://static.westergaard.video/playlists:hls/50303c2e-9412-4895-926d-4d25716ee4f9/c8d04288-c45c-4693-946a-bac9c2161614-master.m3u8https://westergaard.video/videos/embed/aUjmx8WiJRiDVw5LGFdHFg236002026-10-22T19:53:35.894ZworkflowdemoNAWLProMoperational supportYESProcess MiningNOhttps://westergaard.video/w/1HDdDLoJNGErTtNJC5kxGK2026-10-22T19:53:46.194Zhttps://westergaard.video/lazy-static/thumbnails/b67b4d55-fe4b-4487-83a5-ee7671b25e0f.jpgNAWL Demo 7NAWL (Not Another Workflow Language) demonstration 7, recorded in ProM.https://static.westergaard.video/playlists:hls/05d06e59-801a-414f-84cf-fc444de856cf/56d3346d-ed88-41a4-8db1-7d239eec80cf-master.m3u8https://westergaard.video/videos/embed/1HDdDLoJNGErTtNJC5kxGK122002026-10-22T19:53:46.194ZNAWLProMworkflowoperational supportdemoYESProcess MiningNOhttps://westergaard.video/w/3azFstiSr7t7RWcmGHkfBp2026-10-22T19:53:52.403Zhttps://westergaard.video/lazy-static/thumbnails/e9692db7-6b6e-4dc9-8829-ffa5c545afab.jpgPongPong visualization in CPN Tools.https://static.westergaard.video/playlists:hls/1188ba3a-ed14-40dc-b352-0e4d72291a05/8723b350-94ef-49c9-9150-8b8fbe4bc4ef-master.m3u8https://westergaard.video/videos/embed/3azFstiSr7t7RWcmGHkfBp10002026-10-22T19:53:52.403ZCPN ToolsPetri netsdemoYESCPN ToolsNOhttps://westergaard.video/w/hymeBXi7U7YsAAD44stquy2026-10-22T19:54:09.696Zhttps://westergaard.video/lazy-static/thumbnails/5a0bf472-6a65-4701-b997-b0f9fc8f2537.jpgProtocol MSCProtocol simulation with a message sequence chart in CPN Tools.https://static.westergaard.video/playlists:hls/86167d46-50c2-4b5a-b748-83cd3aa4cdd0/5917f878-9400-482f-be6d-70b35bee3f18-master.m3u8https://westergaard.video/videos/embed/hymeBXi7U7YsAAD44stquy52002026-10-22T19:54:09.696ZPetri netsCPN ToolsdemoYESCPN ToolsNOhttps://westergaard.video/w/g81Cbm8J3GFL6ex4w1hQjG2026-10-22T19:54:15.510Zhttps://westergaard.video/lazy-static/thumbnails/b64562e6-eaf5-46b1-aae3-d14859ac0478.jpgScatterScatter-plot visualization in CPN Tools.https://static.westergaard.video/playlists:hls/7a73abb2-edae-416e-bcf1-d6b148db157c/8d92c81d-8f09-45a8-bfaf-e6d106d2871c-master.m3u8https://westergaard.video/videos/embed/g81Cbm8J3GFL6ex4w1hQjG13002026-10-22T19:54:15.510ZPetri netsCPN ToolsdemoYESCPN ToolsNOhttps://westergaard.video/w/eGgE7Egdv5s1nGGdWpmi3z2026-10-22T19:54:23.204Zhttps://westergaard.video/lazy-static/thumbnails/2279209c-fd1f-4177-861d-c2030a3d1037.jpgTools and GraphicsTools and graphics in CPN Tools.https://static.westergaard.video/playlists:hls/6ee633d3-4886-4163-a822-51671f4cd049/611c2842-37c4-479d-8ce7-8512321c81f2-master.m3u8https://westergaard.video/videos/embed/eGgE7Egdv5s1nGGdWpmi3z55002026-10-22T19:54:23.204ZCPN ToolsdemoPetri netsYESCPN ToolsNOhttps://westergaard.video/c/cpntools/videos2026-10-22T19:53:58.573Zhttps://westergaard.video/c/ddist/videos2023-12-20T21:00:33.860Zhttps://westergaard.video/c/music/videos2026-10-14T20:35:39.034Zhttps://westergaard.video/c/processmining/videos2026-10-22T19:53:12.118Zhttps://westergaard.video/c/random/videos2026-10-17T22:56:08.954Zhttps://westergaard.video/c/work/videos2024-03-31T21:36:01.227Zhttps://westergaard.video/c/biking/videos2026-01-06T19:43:45.829Zhttps://westergaard.video/a/michael/video-channels2023-12-20T21:30:36.090Z