Michael Westergaard's Homepage » Coloured Petri nets http://westergaard.eu Wed, 08 Feb 2012 10:42:21 +0000 en hourly 1 Generated Models http://westergaard.eu/2011/09/generated-models/?utm_source=rss&utm_medium=rss&utm_campaign=generated-models http://westergaard.eu/2011/09/generated-models/#comments Tue, 20 Sep 2011 13:09:37 +0000 Michael http://westergaard.eu/?p=3236
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2011/09/generated-models/feed/ 0 ProM Package Documentation: CPNet http://westergaard.eu/2011/07/prom-package-documentation-cpnet/?utm_source=rss&utm_medium=rss&utm_campaign=prom-package-documentation-cpnet http://westergaard.eu/2011/07/prom-package-documentation-cpnet/#comments Mon, 11 Jul 2011 13:59:42 +0000 Michael http://westergaard.eu/?p=2929
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2011/07/prom-package-documentation-cpnet/feed/ 1 Modeling and Verification of a Protocol for Operational Support http://westergaard.eu/2011/06/modeling-and-verification-of-a-protocol-for-operational-support/?utm_source=rss&utm_medium=rss&utm_campaign=modeling-and-verification-of-a-protocol-for-operational-support http://westergaard.eu/2011/06/modeling-and-verification-of-a-protocol-for-operational-support/#comments Thu, 23 Jun 2011 14:00:26 +0000 Michael http://westergaard.eu/?p=2898
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2011/06/modeling-and-verification-of-a-protocol-for-operational-support/feed/ 1 Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models http://westergaard.eu/2011/06/accesscpn-2-0-%e2%80%94-a-high-level-interface-to-coloured-petri-net-models/?utm_source=rss&utm_medium=rss&utm_campaign=accesscpn-2-0-%25e2%2580%2594-a-high-level-interface-to-coloured-petri-net-models http://westergaard.eu/2011/06/accesscpn-2-0-%e2%80%94-a-high-level-interface-to-coloured-petri-net-models/#comments Wed, 22 Jun 2011 14:51:19 +0000 Michael http://westergaard.eu/?p=2891
Rating: 3.3/5 (3 votes cast)

]]> http://westergaard.eu/2011/06/accesscpn-2-0-%e2%80%94-a-high-level-interface-to-coloured-petri-net-models/feed/ 0 Towards Verifying Parallel Algorithms using Coloured Petri Nets http://westergaard.eu/2011/06/towards-verifying-parallel-algorithms-using-coloured-petri-nets/?utm_source=rss&utm_medium=rss&utm_campaign=towards-verifying-parallel-algorithms-using-coloured-petri-nets http://westergaard.eu/2011/06/towards-verifying-parallel-algorithms-using-coloured-petri-nets/#comments Wed, 22 Jun 2011 14:33:33 +0000 Michael http://westergaard.eu/?p=2889
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2011/06/towards-verifying-parallel-algorithms-using-coloured-petri-nets/feed/ 0 ProM Plug-in Suggestion: ProM Orchestration http://westergaard.eu/2011/05/prom-plug-in-suggestion-prom-orchestration/?utm_source=rss&utm_medium=rss&utm_campaign=prom-plug-in-suggestion-prom-orchestration http://westergaard.eu/2011/05/prom-plug-in-suggestion-prom-orchestration/#comments Wed, 04 May 2011 10:27:37 +0000 Michael http://westergaard.eu/?p=2718
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2011/05/prom-plug-in-suggestion-prom-orchestration/feed/ 0 ProM Plug-in Suggestion: CPN Log Extraction http://westergaard.eu/2011/05/prom-plug-in-suggestion-cpn-log-extraction/?utm_source=rss&utm_medium=rss&utm_campaign=prom-plug-in-suggestion-cpn-log-extraction http://westergaard.eu/2011/05/prom-plug-in-suggestion-cpn-log-extraction/#comments Wed, 04 May 2011 09:59:16 +0000 Michael http://westergaard.eu/?p=2706
Rating: 5.0/5 (1 vote cast)

]]> http://westergaard.eu/2011/05/prom-plug-in-suggestion-cpn-log-extraction/feed/ 2 In All Fairness… http://westergaard.eu/2011/04/in-all-fairness/?utm_source=rss&utm_medium=rss&utm_campaign=in-all-fairness http://westergaard.eu/2011/04/in-all-fairness/#comments Wed, 20 Apr 2011 14:58:49 +0000 Michael http://westergaard.eu/?p=2630
Rating: 5.0/5 (1 vote cast)

]]> http://westergaard.eu/2011/04/in-all-fairness/feed/ 6 Graphical User Interface http://westergaard.eu/2011/03/graphical-user-interface/?utm_source=rss&utm_medium=rss&utm_campaign=graphical-user-interface http://westergaard.eu/2011/03/graphical-user-interface/#comments Thu, 24 Mar 2011 13:31:13 +0000 Michael http://westergaard.eu/?p=2553
Rating: 0.0/5 (0 votes cast)

]]> http://westergaard.eu/2011/03/graphical-user-interface/feed/ 1 Real Time and Transition Priorities in CPN Tools http://westergaard.eu/2010/08/real-time-and-transition-priorities-in-cpn-tools/?utm_source=rss&utm_medium=rss&utm_campaign=real-time-and-transition-priorities-in-cpn-tools http://westergaard.eu/2010/08/real-time-and-transition-priorities-in-cpn-tools/#comments Mon, 02 Aug 2010 18:54:13 +0000 Michael http://westergaard.eu/?p=1744
Rating: 5.0/5 (2 votes cast)

]]> http://westergaard.eu/2010/08/real-time-and-transition-priorities-in-cpn-tools/feed/ 0