Rezultaty - (transactions OR translation) on petri nets and other models of concurrency,

1

Transactions on Petri Nets and Other Models of Concurrency IV

Wydane 2010

Spis treści: “...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Transactions on Petri Nets and Other Models of Concurrency V

Wydane 2012

Spis treści: “... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Transactions on Petri Nets and Other Models of Concurrency I

Wydane 2008

Spis treści: “... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Transactions on Petri Nets and Other Models of Concurrency VI

Wydane 2012

Spis treści: “... Computing: Aligning Models of Architecture and Utilization....”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Transactions on Petri Nets and Other Models of Concurrency VII

Wydane 2013

Spis treści: “...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Transactions on Petri Nets and Other Models of Concurrency IX

Wydane 2014

Spis treści: “...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Transactions on Petri Nets and Other Models of Concurrency VIII

Wydane 2013

Spis treści: “... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Transactions on Petri Nets and Other Models of Concurrency X

Wydane 2015

Spis treści: “... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Applications and Theory of Petri Nets 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008, Proceedings /

Wydane 2008

Spis treści: “... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Wydane 2005

Spis treści: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceeding...

Wydane 2005

Spis treści: “... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty