Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
jensen, kurt
(3)rozenberg, grzegorz
(2)aalst, wil m. p. van der
(1)ajmone marsan, marco
(1)billington, jonathan
(1)botterweck, goetz
(1)breitling, rainer
(1)cofer, darren
(1)fantechi, alessandro
(1)franceschinis, giuliana
(1)gilbert, david
(1)kleijn, jetty
(1)koutny, maciej
(1)kristensen, lars m.
(1)machado, ricardo j.
(1)maciel, rita suzana
(1)priami, corrado
(1)rubin, julia
(1)Schlagwort
colouredpetrinets
(8)informatik
(8)coloured petri nets
(7)edv
(7)computation by abstract devices
(4)theory of computation
(4)mathematik
(3)net design
(3)netdesign
(3)netzentwurf
(3)petrinetmodels
(3)software engineering
(3)algorithms
(2)algorithmus
(2)artificial intelligence
(2)betriebssystem (edv)
(2)calculus
(2)complexity
(2)computer communication networks
(2)concurrency
(2)formal verification
(2)formalverification
(2)gefärbte petrinetze
(2)gefärbtepetrinetze
(2)komplexität
(2)mikroprozessor
(2)netzwerk (elektronisch)
(2)operating system
(2)petri net
(2)petri net models
(2)petrinetz-modelle
(2)programming languages, compilers, interpreters
(2)prozessor
(2)alg
(1)algorithm
(1)algorithm analysis
(1)algorithm analysis and proble
(1)algorithm analysis and problem complexity
(1)algorithmanalysisandproblemcomplexit
(1)allgemeines
(1)anwendungs-software
(1)asynchronous communicating automata
(1)asynchronouscommunicatingautomata
(1)automation
(1)avionics
(1)biochemical systems design
(1)biochemicalsystemsdesign
(1)biologie
(1)brane calculus
(1)branecalculus
(1)bridge
(1)case study
(1)casestudy
(1)cell signalling
(1)cellsignalling
(1)coloured petrinets
(1)combinatorial explosion
(1)combinatorialexplosion
(1)compilers and
(1)compositional modeling
(1)compositionalmodeling
(1)computational biology
(1)computational modeling
(1)computationalbiology
(1)computationalcontinuoustimemarkovchains
(1)computer communic
(1)computer science
(1)computer system implementation
(1)constraints
(1)context-aware adaptive systems
(1)context-awareadaptivesystems
(1)continuous time markov chains
(1)datenkommunikation
(1)datenverarbeitung
(1)datenverschlüsselung, kryptografie
(1)demand-driven evaluation
(1)demand-drivenevaluation
(1)design
(1)di
(1)differential equations
(1)distributed verification
(1)distributedverification
(1)domain specific languages
(1)domainspecificlanguages
(1)echtzeit
(1)entwicklungsbiologie
(1)flight control
(1)flightcontrol
(1)formal language
(1)formal models
(1)formal specification
(1)formallanguage
(1)formalmodels
(1)formalspecification
(1)functional specification checking
(1)functionalspecificationchecking
(1)gene expression
(1)geometry
(1)grundlagen
(1)large-scale
(1)Ergebnis: 8 Artikel
Schlagwort: colouredpetrinets
