The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 472
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
[info.info-oh]computer science [cs]/other [cs.oh]
118
petri nets
66
computer science
36
regions
35
[info.info-oh]computer science [cs]
30
other [cs.oh]
30
more ...
[info.info-oh] computer science [cs]/other [cs.oh]
29
computer communication networks
28
partial observation
28
business information systems
27
discrete mathematics in computer science
27
operating systems
27
software engineering
27
theory of computation
27
opacity
26
[info.info-se]computer science [cs]/software engineering [cs.se]
24
synthesis problem for nets
20
[info.info-es]computer science [cs]/embedded systems
18
[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl]
18
control
16
security
15
first order logic
13
regular languages
13
supervisory control
13
02 engineering and technology
12
galois connection
12
confidentiality
11
discrete event systems
11
reachability graph
11
[info.info-dm]computer science [cs]/discrete mathematics [cs.dm]
10
less ...
Published in
applications & theory of petri nets 2005
27
petri net synthesis
16
lecture notes in computer science
14
fundamenta informaticae
13
theoretical computer science
10
information and computation
9
more ...
acta informatica
8
ieee transactions on automatic control
8
issn: 0890-5401
5
discrete event dynamic systems
4
eissn: 1860-5974 ; logical methods in computer science
3
ifac proceedings volumes
3
issn: 0169-2968
3
issn: 0924-6703
3
logical methods in computer science
3
applications & theory of petri nets
2
arxiv
2
discrete event dynamic systems: theory and applications
2
theoretical computer science : theory of natural computing
2
workshop on discrete event systems
2
[research report] pi 1887
1
[research report] rr-4251
1
[research report] rr-5771
1
[research report] rr-6258
1
[research report] rr-7547
1
19th international conference on concurency theory (concur 2008)
1
amsterdam, london :, new york: north-holland publishing company american elsevier
1
applications & theory of petri nets (9783642136740)
1
art2011 : workshop on applications of region theory
1
atva 2011 : 9th international symposium on automated technology for verification and analysis
1
less ...
Publisher
hal ccsd
134
ccsd
102
springer nature
57
springer berlin heidelberg
43
springer
28
ieee
13
more ...
polskie towarzystwo matematyczne
10
elsevier
9
elsevier b.v.
8
elsevier bv
8
institute of electrical and electronics engineers
7
springer science and business media llc
6
springer-verlag
6
logical methods in computer science association
5
dagstuhl publishing
4
sage publications
4
springer verlag
4
elsevier inc.
3
ios press
3
springer us
3
institute of electrical and electronics engineers (ieee)
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
springer lncs
2
wti-frankfurt-digital gmbh
2
academic press inc elsevier science
1
academic press inc.
1
array
1
centre pour la communication scientifique directe (ccsd)
1
elsevier science
1
ieee-inst electrical electronics engineers inc
1
less ...
Language
Geography
Content Provider
Year of Publication
Filter