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