ricerca dei libri
libri
Donare
Entrare
Entrare
gli utenti autorizzati hanno accesso a:
raccomandazioni personali
Telegram bot
cronologia dei download
inviare a email o Kindle
gestione delle raccolte
salvare nei preferiti
Personale
Richieste di libro
Studia
Z-Recommend
Elenco libri
Più popolari
Categorie
Partecipazione
Donare
Caricamenti
Litera Library
Dona i libri cartacei
Aggiungi i libri cartacei
Search paper books
Mio LITERA Point
Ricerca termini
Main
Ricerca termini
search
1
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Springer
Kurt Jensen
,
Lars M. Kristensen
marking
packet
transition
protocol
function
binding
module
packets
timed
markings
recv
nets
multiset
tokens
transmit
network
ack
simulation
noxdata
definition
nodes
petri
arcs
occurrence
node
transitions
models
initial
receiver
enabled
nextsend
delay
element
first
analysis
sender
shows
shown
tools
scc
hierarchical
modelling
reachable
defined
nextrec
spaces
sets
method
input
sendpacket
Anno:
2009
Lingua:
english
File:
PDF, 3.53 MB
I tuoi tag:
5.0
/
5.0
english, 2009
1
Segui
questo link
o cerca il bot "@BotFather" in Telegram
2
Invia il comando /newbot
3
Inserisci un nome del tuo bot
4
Inserisci un nome utente del bot
5
Copia l'ultimo messaggio da BotFather e incollalo qui
×
×