史努比

Snoopy是一个软件工具,用于设计和动画层次图,以及其他Petri网。这个工具已经在科特布斯理工大学计算机科学系“数据结构和软件可靠性”开发出来,目前仍在开发中。该工具用于验证技术系统,尤其是基于软件的系统,以及验证自然系统,即代谢、信号转导、基因调控网络等生物化学网络,比较海报“我们工作组的研究活动概述”。


zbMATH中的参考文献,第1条标准)

显示第1到第20个结果,共31个。
按年份排序(引用)
  1. Honorato Zimmer,里卡多;Millar,Andrew J.;Plotkin,Gordon D.;Zardilis,Argyris:Chromar,参数化代理语言(2019)
  2. 劳拉·梅尼尼;科拉多·波塞里;安东尼奥·托纳姆布è:通过线性代数和代数几何的联合使用进行布尔网络分析(2019年)
  3. Herajy,Mostafa;Liu,Fei;Heiner,Monika:基于多点磷酸化的酵母细胞周期的有效建模,使用带标记依赖弧权重的有色混合Petri网(2018年)
  4. Ahmed,Waqar;Hasan,Osman;Tahar,Sofiène:正式可靠性建模和分析:调查(2016年)
  5. Bertens,Laura M.F.;Kleijn,Jetty;Hille,Sander C.;Heiner,Monika;Koutny,Maciej;Verbeek,Fons J.:模拟生物梯度形成:结合偏微分方程和Petri网(2016年)
  6. 《Jean-Clausta-Clausta-Networks毒性分析》(Jean-Clausta-Clausta-Networks,2016年)第十四章
  7. Gratie,Diana Elena;Gratie,Cristian:用于改进基于反应的模型的合成有色Petri网(2016)
  8. Fages,François;Gay,Steven;Soliman,Sylvain:从常微分方程推断反应系统(2015)
  9. Herajy,Mostafa;Heiner,Monika:定量Petri网协同仿真的指导服务器(2014)ioport公司
  10. Laubenbacher,Reinhard;Hinkelmann,Franziska;Murrugarra,David;Veliz Cuba,Alan:代数模型及其在系统生物学中的应用(2014)
  11. Le,Dinh Thuan;Nguyen,Huu Vu;Nguyen,Van Tinh;Mai,Phuong Nam;Pham Duy,Bao Trung;Quan,Thanh Tho;André,嫒tienne;Petrucci,Laure;Liu,Yang:PeCAn:Petri网的成分验证变得容易(2014)
  12. Baldan,Paolo;Cocco,Nicoletta;Simeoni,Marta:用Mpath2PN和CoMeta代表和比较代谢途径(2013)ioport公司
  13. Durzinsky,Markus;Marwan,Wolfgang;Wagler,Annegret:使用逻辑控制函数从时间序列数据重构扩展Petri网(2013)
  14. 海纳,莫妮卡;罗尔,克里斯蒂安;施瓦里克,马丁:玛西——有效地完成了模型检查和可达性分析(2013年)ioport公司
  15. Herajy,Mostafa;Schwarick,Martin;Heiner,Monika:用于模拟真核细胞周期的混合Petri网(2013)
  16. Liu,Fei;Heiner,Monika:使用有色随机Petri网建模膜系统(2013)
  17. 《先天性免疫反应》;CareenEjetn,2012;Marie Fonjetn,2012年)
  18. 海纳,莫妮卡;赫拉吉,莫斯塔法;刘,费;罗,克里斯蒂安;施瓦里克,马丁:史努比——一个统一的Petri网工具(2012)ioport公司
  19. Herajy,Mostafa;Heiner,Monika:刚性生化网络的混合表示和模拟(2012)
  20. Chen,Ming;Hariharaputran,Sridhara;Hofestädt,Ralf;Kormeier,Benjamin:大规模生物网络半自动构建的Petri网模型(2011)

更多出版物请访问:http://www-dssz.informatik.tu-cottbus.de/dssz/Publications/Publications