Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων

Αναζήτηση λέξεων κλειδιών

  • Main
  • Αναζήτηση λέξεων κλειδιών
3
Advances in Petri Nets 1993

Advances in Petri Nets 1993

Ghassan Chehaibar (auth.), Grzegorz Rozenberg (eds.)
Έτος:
1993
Γλώσσα:
english
Αρχείο:
PDF, 7.98 MB
0 / 0
english, 1993
12
Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

Emmanuel Filiot, Raphaël Jungers, Igor Potapov
Έτος:
2019
Γλώσσα:
english
Αρχείο:
PDF, 6.25 MB
0 / 0
english, 2019
15
Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tool

Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tool

Hrúz B., Zhou M.C.
Γλώσσα:
english
Αρχείο:
PDF, 3.50 MB
0 / 0
english
18
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools

Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools

Branislav Hrúz, MengChu Zhou
Έτος:
2007
Γλώσσα:
english
Αρχείο:
PDF, 4.83 MB
0 / 0
english, 2007
21
Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (The Morgan Kaufmann Series in Systems on Silicon) (Systems on Silicon)

Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation (The Morgan Kaufmann Series in Systems on Silicon) (Systems on Silicon)

Axel Jantsch
Έτος:
2003
Γλώσσα:
english
Αρχείο:
PDF, 6.24 MB
0 / 0
english, 2003
24
Modeling Discrete-Event Systems with GPenSIM: An Introduction

Modeling Discrete-Event Systems with GPenSIM: An Introduction

Reggie Davidrajuh (auth.)
Έτος:
2018
Γλώσσα:
english
Αρχείο:
PDF, 8.00 MB
0 / 0
english, 2018
26
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–

Mohammad Reza Mousavi, Anna Philippou
systems
doi.org
method
policies
branch
approach
processes
springer
consider
algorithm
lncs
monitoring
specification
methods
abstract
reduction
xacml
first
step
quantum
verification
definition
trace
insensitive
messages
output
linear
sets
reachable
transition
safety
trait
wsts
different
mcrl2
qubits
session
refinement
sect
traits
defined
uncertain
event
input
analysis
policy
failure
initial
events
reversible
Έτος:
2022
Γλώσσα:
english
Αρχείο:
PDF, 7.19 MB
0 / 5.0
english, 2022
33
Petri Nets: An introduction

Petri Nets: An introduction

Wolfgang Reisig
Έτος:
1985
Γλώσσα:
english
Αρχείο:
DJVU, 1.38 MB
0 / 0
english, 1985