提案スペルによる検索:
transactions » transition
nets » news, net
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
出版事項 2012
目次: ... Computing: Aligning Models of Architecture and Utilization....
全文の入手
電子媒体 eBook
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