• 已选条件：
 全选  【符合条件的数据共：8条】

1 Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification [会议论文]

作者:Michael Westergaard, Dirk Fahland, Christian Stahl

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：4  ]    

2 SonarEditor: A Tool for Multi-Agent-Organizations Modelling [会议论文]

作者:Jan Bolte

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：3  ]    

3 From Code to Coloured Petri Nets: Modelling Guidelines [会议论文]

作者:Anna Dedova, Laure Petrucci

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：3  ]    

4 SMT-based Parameter Synthesis for L/U Automata [会议论文]

作者:Micha l Knapik, Wojciech Penczek

会议时间:

预览  |  原文链接  |  全文  [ 浏览：16 下载：2  ]    

5 Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’12) [会议论文]

作者:Lawrence Cabac, Michael Duvigneau, Daniel Moldt

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：3  ]    

6 SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets [会议论文]

作者:Robert Lorenz;Markus Huber;Christoph Etzel;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：4 下载：4  ]