Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
1
Publicat 2010
Taula de continguts:
“...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Taula de continguts:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”Obtenir text complet
Electrònic
eBook
4
Publicat 2012
Taula de continguts:
“... Computing: Aligning Models of Architecture and Utilization....”Obtenir text complet
Electrònic
eBook
5
Publicat 2013
Taula de continguts:
“...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”Obtenir text complet
Electrònic
eBook
6
Publicat 2014
Taula de continguts:
“...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”Obtenir text complet
Electrònic
eBook
7
Publicat 2013
Taula de continguts:
“... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”Obtenir text complet
Electrònic
eBook
8
Publicat 2015
Taula de continguts:
“... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”Obtenir text complet
Electrònic
eBook