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