User contributions
From DESUMA Wiki
Contributions
- 07:11, October 29, 2014 (diff | hist) Faculty and Contacts (top)
- 06:47, October 29, 2014 (diff | hist) DESUMA Installation Instructions
- 17:10, October 25, 2014 (diff | hist) UMDES Software Library
- 17:08, October 25, 2014 (diff | hist) UMDES Software Library
- 16:52, October 25, 2014 (diff | hist) MediaWiki:Sidebar (top)
- 18:58, October 24, 2014 (diff | hist) Faculty and Contacts
- 20:11, August 11, 2014 (diff | hist) Faculty and Contacts
- 18:53, July 31, 2014 (diff | hist) DESUMA (→Other Discrete Event System Resources)
- 18:51, July 31, 2014 (diff | hist) Table of Contents
- 18:50, July 31, 2014 (diff | hist) N DESUMA Publication (Created page with "== " DESUMA: A Tool Integrating GIDDES and UMDES " == ''The key features of the software tool DESUMA for the study of discrete event systems modeled by finite-state automata are ...") (top)
- 18:47, July 31, 2014 (diff | hist) Table of Contents
- 16:46, June 9, 2014 (diff | hist) Table of Contents (→Other Resources)
- 16:45, June 9, 2014 (diff | hist) DESUMA (→DES Related Publications)
- 16:44, June 9, 2014 (diff | hist) DESUMA (→DES related Publications)
- 16:41, June 9, 2014 (diff | hist) m Archived/Old Publications (moved Old Publications to Archived/Old Publications) (top)
- 16:40, June 9, 2014 (diff | hist) N Archived/Old Publications (Created page with "== Presentations == === " A Distributed Algorithm for On-Line Diagnosis of Place-Bordered Petri Nets "=== ::by S. Genc and S. Lafortune ::Presented at the ''IFAC World Congress'...")
- 20:10, June 3, 2014 (diff | hist) UMDES Commands (→concat)
- 18:40, June 3, 2014 (diff | hist) Getting Started with DESUMA2 (top)
- 18:39, June 3, 2014 (diff | hist) Getting Started with DESUMA2 (→States)
- 18:35, June 3, 2014 (diff | hist) Getting Started with DESUMA2 (→States)
- 18:33, June 3, 2014 (diff | hist) Getting Started with DESUMA2 (→Using the Command Line)
- 18:24, June 3, 2014 (diff | hist) Getting Started with DESUMA2 (→Editing States)
- 18:23, June 3, 2014 (diff | hist) Getting Started with DESUMA2 (→Editing States)
- 18:21, June 3, 2014 (diff | hist) Getting Started with DESUMA2 (→Using the Command Line)
- 18:29, May 29, 2014 (diff | hist) UMDES Commands (→vlp_s)
- 22:11, May 21, 2014 (diff | hist) Table of Contents
- 22:11, May 21, 2014 (diff | hist) MediaWiki:Sidebar
- 22:10, May 21, 2014 (diff | hist) m Faculty and Contacts (moved Contacts to Faculty and Contacts)
- 22:09, May 21, 2014 (diff | hist) MediaWiki:Sidebar
- 22:09, May 21, 2014 (diff | hist) Faculty and Contacts (→DESUMA Contact Information)
- 22:08, May 21, 2014 (diff | hist) Faculty and Contacts
- 22:04, May 21, 2014 (diff | hist) N Faculty and Contacts (Created page with "== Stéphane Lafortune == :''Professor of Electrical Engineering and Computer Science'' :''Dept. of Electrical Engineering and Computer Science'' :''The University of Michigan'' ...")
- 21:57, May 21, 2014 (diff | hist) MediaWiki:Sidebar
- 21:47, May 21, 2014 (diff | hist) DESUMA (→DES related Publications)
- 21:38, May 21, 2014 (diff | hist) N File:Tr9.pdf (Technical Reports) (top)
- 21:38, May 21, 2014 (diff | hist) N File:Tr8.pdf (Technical Reports) (top)
- 21:38, May 21, 2014 (diff | hist) N File:Tr7.pdf (Technical Reports) (top)
- 21:37, May 21, 2014 (diff | hist) N File:Tr6.pdf (Technical Reports) (top)
- 21:37, May 21, 2014 (diff | hist) N File:Tr5.pdf (Technical Reports) (top)
- 21:37, May 21, 2014 (diff | hist) N File:Tr4.pdf (Technical Reports) (top)
- 21:37, May 21, 2014 (diff | hist) N File:Tr3.pdf (Technical Reports) (top)
- 21:37, May 21, 2014 (diff | hist) N File:Tr2.pdf (Technical Reports) (top)
- 21:37, May 21, 2014 (diff | hist) N File:Tr1.pdf (Technical Reports) (top)
- 21:09, May 21, 2014 (diff | hist) DESUMA (→DES related Publications)
- 21:09, May 21, 2014 (diff | hist) DESUMA
- 21:07, May 21, 2014 (diff | hist) Table of Contents
- 20:55, May 21, 2014 (diff | hist) Table of Contents
- 20:49, May 21, 2014 (diff | hist) N File:Bc1.pdf (Book Chapters) (top)
- 20:25, May 21, 2014 (diff | hist) N File:J10.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J9.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J8.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J7.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J6.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J5.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J4.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J3.pdf (Journals) (top)
- 20:24, May 21, 2014 (diff | hist) N File:J2.pdf (Journals) (top)
- 20:23, May 21, 2014 (diff | hist) N File:J1.pdf (Journals) (top)
- 18:34, May 21, 2014 (diff | hist) N File:Conf24.pdf (Conference) (top)
- 18:34, May 21, 2014 (diff | hist) N File:Conf23.pdf (Conference) (top)
- 18:34, May 21, 2014 (diff | hist) N File:Conf22.pdf (Conference) (top)
- 18:34, May 21, 2014 (diff | hist) N File:Conf21.pdf (Conference) (top)
- 18:33, May 21, 2014 (diff | hist) N File:Conf20.pdf (Conference) (top)
- 18:33, May 21, 2014 (diff | hist) N File:Conf19.pdf (Conference) (top)
- 18:33, May 21, 2014 (diff | hist) N File:Conf18.pdf (Conference) (top)
- 18:33, May 21, 2014 (diff | hist) N File:Conf17.pdf (Conference) (top)
- 18:33, May 21, 2014 (diff | hist) N File:Conf16.pdf (Conference) (top)
- 18:33, May 21, 2014 (diff | hist) N File:Conf15.pdf (Conference) (top)
- 18:33, May 21, 2014 (diff | hist) N File:Conf14.pdf (Conference) (top)
- 18:32, May 21, 2014 (diff | hist) N File:Conf13.pdf (Conference) (top)
- 18:32, May 21, 2014 (diff | hist) N File:Conf12.pdf (Conference) (top)
- 18:32, May 21, 2014 (diff | hist) N File:Conf11.pdf (Conference) (top)
- 18:28, May 21, 2014 (diff | hist) N File:Conf10.pdf (Conference) (top)
- 18:28, May 21, 2014 (diff | hist) N File:Conf9.pdf (Conference) (top)
- 18:27, May 21, 2014 (diff | hist) N File:Conf8.pdf (Conference) (top)
- 18:27, May 21, 2014 (diff | hist) N File:Conf7.pdf (Conference) (top)
- 18:26, May 21, 2014 (diff | hist) N File:Conf6.pdf (Conference) (top)
- 18:26, May 21, 2014 (diff | hist) N File:Conf5.pdf (Conference) (top)
- 18:26, May 21, 2014 (diff | hist) N File:Conf4.pdf (Conference) (top)
- 18:26, May 21, 2014 (diff | hist) N File:Conf3.pdf (Conference) (top)
- 18:26, May 21, 2014 (diff | hist) N File:Conf2.pdf (Conference) (top)
- 18:26, May 21, 2014 (diff | hist) N File:Conf1.pdf (Conference) (top)
- 18:08, May 21, 2014 (diff | hist) N File:Pres10.pdf (Presentation) (top)
- 18:08, May 21, 2014 (diff | hist) N File:Pres9.pdf (Presentation) (top)
- 18:08, May 21, 2014 (diff | hist) N File:Pres8.pdf (Presentation) (top)
- 18:08, May 21, 2014 (diff | hist) N File:Pres7.pdf (Presentation) (top)
- 18:08, May 21, 2014 (diff | hist) N File:Pres6.pdf (Presentation) (top)
- 18:08, May 21, 2014 (diff | hist) N File:Pres5.pdf (Presentation) (top)
- 18:05, May 21, 2014 (diff | hist) N File:Pres4.pdf (Presentation) (top)
- 18:05, May 21, 2014 (diff | hist) N File:Pres3.pdf (Presentation) (top)
- 18:04, May 21, 2014 (diff | hist) N File:Pres2.pdf (Presentation) (top)
- 17:56, May 21, 2014 (diff | hist) N File:Pres1.pdf (Presentation) (top)
- 22:48, May 20, 2014 (diff | hist) Table of Contents
- 22:47, May 20, 2014 (diff | hist) Table of Contents (→Other Resources)
- 22:46, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 22:44, May 20, 2014 (diff | hist) Table of Contents (→UMDES)
- 22:38, May 20, 2014 (diff | hist) Table of Contents
- 22:27, May 20, 2014 (diff | hist) Table of Contents
- 22:27, May 20, 2014 (diff | hist) N Table of Contents (Created page with "''This is a Table of Contents for DESUMA Wiki'' == DESUMA == *DESUMA *DESUMA2 Functions *DESUMA Software Download")
- 22:22, May 20, 2014 (diff | hist) DESUMA
- 22:22, May 20, 2014 (diff | hist) m Getting Started with DESUMA2 (moved Getting Started to Getting Started with DESUMA2)
- 22:04, May 20, 2014 (diff | hist) DESUMA
- 22:03, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 22:03, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:58, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:57, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:55, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:55, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:54, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:54, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:52, May 20, 2014 (diff | hist) MediaWiki:Sidebar
- 21:40, May 20, 2014 (diff | hist) DESUMA
- 21:17, May 19, 2014 (diff | hist) DESUMA (→Case Studies from Literature)
- 21:02, May 19, 2014 (diff | hist) DESUMA
- 19:12, May 19, 2014 (diff | hist) DESUMA (→DESUMA2)
- 19:11, May 19, 2014 (diff | hist) DESUMA
- 19:09, May 19, 2014 (diff | hist) N File:DESUMA2.png (top)
- 19:03, May 19, 2014 (diff | hist) DESUMA
- 19:00, May 19, 2014 (diff | hist) N File:DESUMA1.png (top)
- 05:25, May 19, 2014 (diff | hist) N File:Desuma.jpg (top)
- 05:09, May 19, 2014 (diff | hist) Getting Started with DESUMA2
- 05:08, May 19, 2014 (diff | hist) Getting Started with DESUMA2 (→States)
- 05:07, May 19, 2014 (diff | hist) Getting Started with DESUMA2 (→Multiple States)
- 05:05, May 19, 2014 (diff | hist) Getting Started with DESUMA2 (→Setting up UMDES)
- 05:00, May 19, 2014 (diff | hist) DESUMA2 Functions
- 07:04, May 18, 2014 (diff | hist) Getting Started with DESUMA2
- 17:02, May 17, 2014 (diff | hist) Getting Started with DESUMA2
- 17:01, May 17, 2014 (diff | hist) Getting Started with DESUMA2
- 16:40, May 17, 2014 (diff | hist) Getting Started with DESUMA2 (→Flags)
- 16:34, May 17, 2014 (diff | hist) Getting Started with DESUMA2 (→Transitions)
- 16:27, May 17, 2014 (diff | hist) Getting Started with DESUMA2 (→States)
- 16:27, May 17, 2014 (diff | hist) Getting Started with DESUMA2 (→Using the Command Line)
- 07:29, May 17, 2014 (diff | hist) Getting Started with DESUMA2 (→States)
- 07:21, May 17, 2014 (diff | hist) Getting Started with DESUMA2 (→States)
- 07:20, May 17, 2014 (diff | hist) Getting Started with DESUMA2 (→Flags)
- 03:01, May 16, 2014 (diff | hist) Getting Started with DESUMA2
- 21:27, May 15, 2014 (diff | hist) Getting Started with DESUMA2
- 18:06, May 15, 2014 (diff | hist) Getting Started with DESUMA2 (→Functions)
- 18:05, May 15, 2014 (diff | hist) DESUMA (→Tutorial)
- 18:05, May 15, 2014 (diff | hist) m DESUMA2 Functions (moved Functions (Getting Started) to DESUMA2 Functions)
- 18:03, May 15, 2014 (diff | hist) DESUMA2 Functions
- 20:47, May 13, 2014 (diff | hist) UMDES Commands
- 20:47, May 13, 2014 (diff | hist) UMDES Commands
- 20:38, May 13, 2014 (diff | hist) UMDES Commands (→Stochastic Diagnosability)
- 20:35, May 13, 2014 (diff | hist) UMDES Commands
- 20:24, May 13, 2014 (diff | hist) UMDES Commands (→Failure Diagnosis)
- 20:12, May 13, 2014 (diff | hist) UMDES Commands
- 19:29, May 13, 2014 (diff | hist) UMDES Commands
- 19:23, May 13, 2014 (diff | hist) UMDES Commands (→obsvr)
- 19:16, May 13, 2014 (diff | hist) UMDES Commands (→minimize_std)
- 19:16, May 13, 2014 (diff | hist) UMDES Commands (→minimize_std)
- 19:15, May 13, 2014 (diff | hist) UMDES Commands (→mark_fsm)
- 19:14, May 13, 2014 (diff | hist) UMDES Commands (→live)
- 19:13, May 13, 2014 (diff | hist) UMDES Commands (→inv_proj)
- 19:12, May 13, 2014 (diff | hist) UMDES Commands (→inv_p_L)
- 19:11, May 13, 2014 (diff | hist) UMDES Commands (→incl)
- 19:10, May 13, 2014 (diff | hist) UMDES Commands (→equiv)
- 19:08, May 13, 2014 (diff | hist) UMDES Commands (→conflict)
- 19:07, May 13, 2014 (diff | hist) UMDES Commands (→concat_ev)
- 19:06, May 13, 2014 (diff | hist) UMDES Commands (→concat)
- 19:05, May 13, 2014 (diff | hist) UMDES Commands (→comp_fsm)
- 19:03, May 13, 2014 (diff | hist) UMDES Commands
- 19:03, May 13, 2014 (diff | hist) UMDES Commands (→co_acc)
- 19:02, May 13, 2014 (diff | hist) UMDES Commands (→c_par_comp)
- 19:00, May 13, 2014 (diff | hist) UMDES Commands (→change_oprop)
- 18:59, May 13, 2014 (diff | hist) UMDES Commands (→change_initial_state)
- 18:57, May 13, 2014 (diff | hist) UMDES Commands (→change_cprop)
- 18:56, May 13, 2014 (diff | hist) UMDES Commands (→change_cprop)
- 18:54, May 13, 2014 (diff | hist) UMDES Commands
- 18:52, May 13, 2014 (diff | hist) UMDES Commands
- 18:49, May 13, 2014 (diff | hist) UMDES Commands
- 18:27, May 13, 2014 (diff | hist) UMDES Commands
- 18:26, May 13, 2014 (diff | hist) UMDES Commands
- 18:24, May 13, 2014 (diff | hist) UMDES Commands
- 18:19, May 13, 2014 (diff | hist) UMDES Commands
- 18:16, May 13, 2014 (diff | hist) UMDES Commands
- 18:11, May 13, 2014 (diff | hist) UMDES Commands
- 18:07, May 13, 2014 (diff | hist) DESUMA
- 18:06, May 13, 2014 (diff | hist) UMDES Software Library
- 17:58, May 13, 2014 (diff | hist) N Main Page (Redirected page to DESUMA) (top)
- 17:57, May 13, 2014 (diff | hist) DESUMA
- 17:54, May 13, 2014 (diff | hist) m DESUMA (Reverted edits by Jdelro (talk) to last revision by Edallal)
- 17:53, May 13, 2014 (diff | hist) m DESUMA (moved Main Page to DESUMA)
- 17:52, May 13, 2014 (diff | hist) DESUMA
- 17:49, May 13, 2014 (diff | hist) N DESUMA Installation Instructions (Created page with "== Requirements == :* Java Runtime Environment :** Recommended: [http://www.oracle.com/technetwork/java/javase/downloads/jre7-downloads-1880261.html Version 1.7.*] :* UMDES Exec...")
- 17:44, May 13, 2014 (diff | hist) DESUMA
- 17:43, May 13, 2014 (diff | hist) DESUMA
- 17:33, May 13, 2014 (diff | hist) UMDES Software Library
- 17:33, May 13, 2014 (diff | hist) UMDES Software Library
- 17:32, May 13, 2014 (diff | hist) UMDES Software Library (→Download)
- 17:29, May 13, 2014 (diff | hist) DESUMA