Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
1
Vydáno 2010
Obsah:
“...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2012
Obsah:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2008
Obsah:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2012
Obsah:
“... Computing: Aligning Models of Architecture and Utilization....”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2013
Obsah:
“...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2014
Obsah:
“...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2013
Obsah:
“... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2015
Obsah:
“... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2008
Obsah:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”Získat plný text
Elektronický zdroj
E-kniha