Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
1
Опубликовано 2010
Оглавление:
“...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2012
Оглавление:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2012
Оглавление:
“... Computing: Aligning Models of Architecture and Utilization....”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2013
Оглавление:
“...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2014
Оглавление:
“...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2013
Оглавление:
“... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2015
Оглавление:
“... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2008
Оглавление:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2005
Оглавление:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2005
Оглавление:
“... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”Полный текст
Электронный ресурс
eКнига