?
1
Formal methods in computer science
Textbooks in mathematics
Exemplar:
Zentrale:E02 a inf 420 e/426
?
2
Stochastic petri nets for wireless networks
SpringerBriefs in electrical and computer engineerung
Exemplar:
Zentrale:E02 a inf 450 pet/894
?
3
Petri net synthesis
Texts in theoretical computer science, an EATCS series
Exemplar:
Zentrale:E02 a inf 450 pet/920
?
4
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Gen..:
Exemplare:
Zentrale:Magazin 02.m.9225; TB BHV: com 768/5
?
5
Understanding Petri nets
modeling techniques, analysis methods, case studies
Exemplar:
Zentrale:E02 a inf 450 pet/947
?
7
System modeling and control with resource-oriented petri ne..
Automation and control engineering ; [35]
Exemplare:
TB BHV: com 467/19; Zentrale:E02 a inf 450 pet/518a
?
8
Coloured petri nets
modelling and validation of concurrent systems
Exemplar:
Zentrale:E02 a inf 450 pet/529
?
9
Introduction to discrete event systems:
Exemplare:
:TB Technik n 500/322(2)a; Zentrale:E02 a inf 470 sys/277(2)
?
10
Introduction to discrete event systems:
Link: http://site.ebrary.com/l..
Exemplare: :TB Technik n 500/322(2)a; Zentrale:E02 a inf 470 sys/277(2)
Exemplare: :TB Technik n 500/322(2)a; Zentrale:E02 a inf 470 sys/277(2)
?
11
Petri-Netze
eXamen.press;SpringerLink, Bücher;Springer eBook Collection, Computer Science & Engineering
?
12
Supervisory control of concurrent systems
a Petri net structural approach
Systems and control: foundations & applications
Exemplar:
Zentrale:E02 a ing 133.2 e/810
?
14
Modeling embedded systems and SoCs
concurrency and time in models of computation
Morgan Kaufmann series in systems on silicon
Exemplar:
Zentrale:E02 a inf 180 emb/591
?
15
Petri nets for systems engineering
a guide to modeling, verification, and applications ; with ...
Exemplare: Zentrale; TB Technik;