Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
1
Udgivet 2010
Indholdsfortegnelse:
“...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2012
Indholdsfortegnelse:
“... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2012
Indholdsfortegnelse:
“... Computing: Aligning Models of Architecture and Utilization....”Få fuldtekst
Electronisk
eBog
5
Udgivet 2013
Indholdsfortegnelse:
“...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2014
Indholdsfortegnelse:
“...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2013
Indholdsfortegnelse:
“... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2015
Indholdsfortegnelse:
“... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2008
Indholdsfortegnelse:
“... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2005
Indholdsfortegnelse:
“... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”Få fuldtekst
Electronisk
eBog