Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
1
Izdano 2010
Kazalo:
“...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”Polni tekst
Elektronski
eKnjiga
2
Izdano 2012
Kazalo:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”Polni tekst
Elektronski
eKnjiga
3
Izdano 2012
Kazalo:
“... Computing: Aligning Models of Architecture and Utilization....”Polni tekst
Elektronski
eKnjiga
4
Izdano 2013
Kazalo:
“...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”Polni tekst
Elektronski
eKnjiga
5
Izdano 2014
Kazalo:
“...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”Polni tekst
Elektronski
eKnjiga
6
Izdano 2013
Kazalo:
“... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”Polni tekst
Elektronski
eKnjiga
7
Izdano 2008
Kazalo:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”Polni tekst
Elektronski
eKnjiga
8
Izdano 2015
Kazalo:
“... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”Polni tekst
Elektronski
eKnjiga
9
Izdano 2007
Kazalo:
“... of Arc, Place and Transition Time Petri Nets -- Improving Static Variable Orders Via Invariants...”Polni tekst
Elektronski
eKnjiga
10
Izdano 2008
Kazalo:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”Polni tekst
Elektronski
eKnjiga
11
Izdano 2005
Kazalo:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”Polni tekst
Elektronski
eKnjiga
12
Izdano 2005
Kazalo:
“... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”Polni tekst
Elektronski
eKnjiga