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