Arama Sonuçları - (transactions OR translation) on petri nets and other models of concurrency,

1

Transactions on Petri Nets and Other Models of Concurrency IV

Baskı/Yayın Bilgisi 2010

İçindekiler: “...) Reachability for a Class of Distributed Time Petri Nets -- Parametric Model Checking with VerICS -- Schedule...”
Tam Metin Erişim

Elektronik Ekitap

2

Transactions on Petri Nets and Other Models of Concurrency V

Baskı/Yayın Bilgisi 2012

İçindekiler: “... in Chemical Reaction Networks -- Modeling and Mining of Learnflows -- Ten Years of Saturation: A Petri Net...”
Tam Metin Erişim

Elektronik Ekitap

3

Transactions on Petri Nets and Other Models of Concurrency I

Baskı/Yayın Bilgisi 2008

İçindekiler: “... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”
Tam Metin Erişim

Elektronik Ekitap

4

Transactions on Petri Nets and Other Models of Concurrency VI

Baskı/Yayın Bilgisi 2012

İçindekiler: “... Computing: Aligning Models of Architecture and Utilization....”
Tam Metin Erişim

Elektronik Ekitap

5

Transactions on Petri Nets and Other Models of Concurrency VII

Baskı/Yayın Bilgisi 2013

İçindekiler: “...In Memoriam: Carl Adam Petri -- Strategies for Modeling Complex Processes Using Colored Petri Nets...”
Tam Metin Erişim

Elektronik Ekitap

6

Transactions on Petri Nets and Other Models of Concurrency IX

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Decidability of k-Soundness for Workflow Nets with an Unbounded Resource -- Modeling Distributed...”
Tam Metin Erişim

Elektronik Ekitap

7

Transactions on Petri Nets and Other Models of Concurrency VIII

Baskı/Yayın Bilgisi 2013

İçindekiler: “... of Elementary Net Systems: An Approach Based on Morphisms -- From Code to Coloured Petri Nets: Modelling...”
Tam Metin Erişim

Elektronik Ekitap

8

Transactions on Petri Nets and Other Models of Concurrency X

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract...”
Tam Metin Erişim

Elektronik Ekitap

9

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Continuous Petri Nets with Interval Firing Speeds -- Modelling Concurrency with Quotient Monoids -- Labeled...”
Tam Metin Erişim

Elektronik Ekitap

10

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Tam Metin Erişim

Elektronik Ekitap

11

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Distributed Mutual Exclusion Algorithms with a Class of Extended Petri Nets -- A Practical Comparison...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt