在您的搜寻 主题建议
在您的搜寻 主题建议
1
出版 2010
书本目录:
“...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”获取全文
电子
电子书
2
出版 2012
书本目录:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”获取全文
电子
电子书
3
4
出版 2013
书本目录:
“...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”获取全文
电子
电子书
5
出版 2014
书本目录:
“...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”获取全文
电子
电子书
6
出版 2013
书本目录:
“... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”获取全文
电子
电子书
7
出版 2008
书本目录:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”获取全文
电子
电子书
8
出版 2015
书本目录:
“... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”获取全文
电子
电子书
9
出版 2007
书本目录:
“... of Arc, Place and Transition Time Petri Nets -- Improving Static Variable Orders Via Invariants...”获取全文
电子
电子书
10
出版 2008
书本目录:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”获取全文
电子
电子书
11
出版 2005
书本目录:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”获取全文
电子
电子书
12
出版 2005
书本目录:
“... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”获取全文
电子
电子书