data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
| Name | Size | Date |
|---|---|---|
| biosensor/ | 10 | November 24, 2008, at 10:26 AM |
| brusselator/ | 7 | July 22, 2014, at 03:32 PM |
| cholesterol_metabolism/ | 7 | March 19, 2023, at 02:02 PM |
| cmsb2010/ | 6 | May 07, 2010, at 01:42 PM |
| cmsb2018-biomassproxy/ | 8 | September 13, 2018, at 05:41 PM |
| coarsening/ | 10 | January 25, 2010, at 06:25 PM |
| colored-Petri-nets/ | 10 | February 10, 2012, at 10:51 AM |
| dna_walker/ | 8 | December 24, 2016, at 01:01 PM |
| dsszmc_benchmarks/ | 9 | January 27, 2010, at 10:22 AM |
| erk-rkip/ | 12 | January 25, 2010, at 06:25 PM |
| fpn/ | 14 | April 07, 2021, at 10:20 AM |
| hybrid_petri_nets/ | 6 | July 10, 2012, at 12:41 PM |
| hypoxia/ | 10 | January 25, 2010, at 06:26 PM |
| IddUnfolding/ | 11 | January 29, 2020, at 10:49 AM |
| levchenko/ | 33 | May 22, 2007, at 05:52 PM |
| marcie_examples/ | 10 | December 21, 2010, at 11:20 AM |
| mimb/ | 12 | August 02, 2010, at 09:08 PM |
| ode_tutorial/ | 37 | February 04, 2008, at 11:11 PM |
| PN2024_high-level_simulation_case_studies/ | 5 | August 15, 2023, at 09:54 PM |
| quorum_sensing/ | 21 | March 28, 2018, at 12:02 PM |
| reaction-diffusion-systems/ | 5 | March 24, 2014, at 04:27 PM |
| xspn_components/ | 32 | January 29, 2010, at 01:23 PM |