史努比

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


zbMATH中的参考文献(参考文献34条,1标准件)

显示第1到第20个结果,共34个。
按年份排序(引用)
  1. 乔治·阿萨夫;海纳,莫妮卡;刘飞:系统生物学的模糊着色(2021)
  2. 埃德蒙德,I。;麦考利,M。;PBTK优化器:Python中PBTK模型参数优化的开源应用程序(2021)不是zbMATH
  3. 霍诺拉托·齐默,里卡多;米勒,安德鲁J。;戈登·普罗特金。;Zardilis,Argyris:Chromar,参数化探员语言(2019)
  4. 梅尼尼,劳拉;科拉多,波塞里;安东尼奥·托纳姆(Tornambè),安东尼奥:通过线性代数和代数几何的联合使用进行布尔网络分析(2019)
  5. 赫拉吉,莫斯塔法;刘飞;Heiner,Monika:基于多点磷酸化的酵母细胞周期的有效建模,使用带标记依赖弧权重的有色混合Petri网(2018年)
  6. 艾哈迈德,瓦卡尔;哈桑,奥斯曼;Tahar,Sofiène:正式可靠性建模和分析:调查(2016年)
  7. 伯滕斯,劳拉·M·F。;克莱恩,码头;希尔,桑德·C。;海纳,莫妮卡;库特尼,麦基;Verbeek,Fons J.:模拟生物梯度形成:结合偏微分方程和Petri网(2016)
  8. Franck Delaplace,Cinzia Di Giusto,Jean-Louis Giavitto,Hanna Klaudel:具有延迟的活动网络在毒性分析中的应用(2016)阿尔十四
  9. 免费,戴安娜·埃琳娜;Gratie,Cristian:用于改进基于反应的模型的合成有色Petri网(2016)
  10. 法吉斯,弗朗索瓦;同性恋,史蒂文;Soliman,Sylvain:从常微分方程推断反应系统(2015)
  11. 邦赞尼,尼古拉;芬斯特拉,K.安东;福克金,万州;Heringa,Jaap:Petri网是生物学家最好的朋友(2014)
  12. 赫拉吉,莫斯塔法;海纳,莫妮卡:定量Petri网协同仿真的指导服务器(2014)ioport公司
  13. 劳本巴赫,莱因哈德;辛克尔曼,弗兰齐斯卡;穆鲁加拉,大卫;Veliz Cuba,Alan:代数模型及其在系统生物学中的应用(2014)
  14. 乐,丁顺;阮,胡武;阮,范丁;麦丰南;范杜伊,鲍聪;全,Thanh Tho;安德烈,爱蒂安;佩特鲁奇,劳尔;Liu,Yang:PeCAn:Petri网的合成验证变得容易(2014)
  15. 保罗巴尔丹;科科,尼科莱塔;Simeoni,Marta:用Mpath2PN和CoMeta代表和比较代谢途径(2013)ioport公司
  16. 杜尔津斯基,马库斯;马尔旺,沃尔夫冈;Wagler,Annegret:使用逻辑控制函数从时间序列数据重建扩展Petri网(2013)
  17. 海纳,莫妮卡;罗尔,基督徒;Schwarick,Martin:MARCIE——有效地完成了模型检查和可达性分析(2013)ioport公司
  18. 赫拉吉,莫斯塔法;施瓦里克,马丁;海纳,莫妮卡:模拟真核细胞周期的混合Petri网(2013)
  19. 刘飞;海纳,莫妮卡:用有色随机Petri网建模膜系统(2013)
  20. 卡瓦略,拉斐尔五世。;克莱恩,码头;梅杰,安妮玛丽H。;Verbeek,Fons J.:模拟早期分枝杆菌感染的先天免疫反应(2012)

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