関連のトピックス ...
関連のトピックス ...
1
出版事項 2010
目次:
“...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”全文の入手
電子媒体
eBook
2
出版事項 2012
目次:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”全文の入手
電子媒体
eBook
3
出版事項 2008
目次:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”全文の入手
電子媒体
eBook
4
5
出版事項 2013
目次:
“...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”全文の入手
電子媒体
eBook
6
出版事項 2014
目次:
“...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”全文の入手
電子媒体
eBook
7
出版事項 2013
目次:
“... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”全文の入手
電子媒体
eBook
8
出版事項 2015
目次:
“... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”全文の入手
電子媒体
eBook
9
出版事項 2008
目次:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”全文の入手
電子媒体
eBook
10
出版事項 2005
目次:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”全文の入手
電子媒体
eBook
11
出版事項 2005
目次:
“... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”全文の入手
電子媒体
eBook