X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (13064) 13064
Conference Proceeding (11546) 11546
Publication (906) 906
Dissertation (768) 768
Book Chapter (541) 541
Book / eBook (266) 266
Web Resource (124) 124
Newspaper Article (44) 44
Magazine Article (39) 39
Government Document (31) 31
Paper (22) 22
Reference (18) 18
Book Review (12) 12
Data Set (3) 3
Newsletter (3) 3
Technical Report (3) 3
Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
petri nets (14811) 14811
petri net (3666) 3666
petri-netz (2863) 2863
computer science (2255) 2255
engineering, electrical & electronic (1517) 1517
control systems (1471) 1471
mathematical models (1314) 1314
discrete event systems (1309) 1309
analysis (1257) 1257
computer science, theory & methods (1250) 1250
analytical models (1202) 1202
computational modeling (1175) 1175
automation & control systems (1139) 1139
simulation (1128) 1128
flexible manufacturing systems (1100) 1100
algorithms (1088) 1088
computer simulation (1000) 1000
stochastic processes (998) 998
mathematical model (984) 984
manufacturing systems (981) 981
models (967) 967
performance analysis (934) 934
computer science, information systems (924) 924
computer science, software engineering (878) 878
modeling (862) 862
system recovery (837) 837
systems (788) 788
software engineering (690) 690
automata (680) 680
verification (675) 675
performance evaluation (663) 663
optimization (662) 662
automatic control (660) 660
operations research & management science (658) 658
concurrent computing (651) 651
usage (639) 639
power system modeling (630) 630
design (611) 611
computer science, hardware & architecture (596) 596
semantics (594) 594
supervisory control (592) 592
software (590) 590
scheduling (587) 587
studies (582) 582
computer science, artificial intelligence (579) 579
automation (571) 571
engineering, manufacturing (569) 569
modelling (568) 568
object oriented modeling (558) 558
logic (552) 552
unified modeling language (539) 539
stochastic petri nets (538) 538
computer science, interdisciplinary applications (533) 533
workflow (525) 525
research (515) 515
fault diagnosis (510) 510
protocols (509) 509
artificial intelligence (502) 502
colored petri nets (479) 479
mathematics, applied (473) 473
algebra (465) 465
control system synthesis (453) 453
application software (447) 447
firing (442) 442
engineering, industrial (439) 439
monitoring (432) 432
mathematics (427) 427
mathematical analysis (424) 424
engineering (423) 423
robots (422) 422
resource management (420) 420
real time systems (410) 410
model (409) 409
coloured petri nets (398) 398
algorithm design and analysis (397) 397
discrete-event systems (397) 397
fires (396) 396
web services (395) 395
job shop scheduling (392) 392
stochastic systems (392) 392
hardware (386) 386
business (384) 384
model checking (384) 384
state-space methods (383) 383
delay (380) 380
reliability (379) 379
design engineering (377) 377
petri-net (372) 372
process control (369) 369
networks (368) 368
educational institutions (361) 361
timing (357) 357
computer architecture (349) 349
equations (347) 347
management (347) 347
safety (342) 342
methods (336) 336
concurrency (324) 324
colored petri net (322) 322
production (320) 320
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (126) 126
Gerstein Science - Stacks (57) 57
Engineering & Comp. Sci. - Stacks (41) 41
UTL at Downsview - May be requested (23) 23
Mathematical Sciences - Stacks (12) 12
Collection Dvlpm't (Acquisitions) - Vendor file (9) 9
Robarts - Stacks (9) 9
Collection Dvlpm't (Acquisitions) - Closed Orders (3) 3
Engineering & Comp. Sci. - May be requested in 6-10 wks (2) 2
Pontifical Inst. Mediaeval Studies - Library use only (2) 2
St. Michael's College (John M. Kelly) - 3rd Floor (2) 2
UofT at Scarborough - Stacks (2) 2
Aerospace - Stacks (1) 1
Criminology - Stacks (1) 1
Faculty of Information - Stacks (1) 1
Knox College (Caven) - Stacks (1) 1
Regis College - Stacks (1) 1
Trinity College (John W Graham) - Storage (1) 1
UofT at Mississauga - Stacks (1) 1
Victoria University Emmanuel College - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (23036) 23036
Chinese (865) 865
Japanese (360) 360
Portuguese (110) 110
German (101) 101
French (74) 74
Spanish (57) 57
Polish (30) 30
Korean (23) 23
Russian (11) 11
Lithuanian (10) 10
Slovenian (8) 8
Czech (7) 7
Croatian (4) 4
Indonesian (4) 4
Turkish (4) 4
Persian (3) 3
Italian (2) 2
Swedish (2) 2
Latin (1) 1
Slovak (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2009, Control systems, robotics and manufacturing series, ISBN 9781848210790, xxv, 585
A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular... 
Distributed processing | System design | Electronic data processing | Parallel processing (Electronic computers) | Petri nets | MATHEMATICS | Applied
Book
2002, Springer series in operations research., ISBN 9780387954455, xxii, 509
Book
1991, ISBN 9810205988, 377
Book
2005, 1. Aufl., ISBN 3540224807, xxii, 524
This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from... 
Petri nets | Mathematics | Nets (Mathematics) | Engineering | Systems Theory, Control | Appl.Mathematics/Computational Methods of Engineering | Artificial Intelligence (incl. Robotics) | Applications of Mathematics | Control Engineering | Mathematical Logic and Formal Languages
Book
2011, Studies in health technology and informatics, ISBN 160750703X, Volume 162., xii, 301
Book
1985, EATCS monographs on theoretical computer science, ISBN 0387137238, Volume 4, x, 161
Book
2005, 1. Aufl., ISBN 3540224807, xxii, 524
This monograph presents a well written and clearly organized introduction in the standard methods of discrete, continuous and hybrid Petri Nets. Starting from... 
Petri nets | Mathematics | Electronics & communications engineering | Nets (Mathematics) | Engineering | Computational Intelligence | Control, Robotics, Mechatronics | Systems Theory, Control | Artificial Intelligence (incl. Robotics) | Applications of Mathematics | Mathematical Logic and Formal Languages
Book
1998, Kluwer international series on discrete event dynamic systems, ISBN 0792382706, Volume 9, xi, 281
Book
1999, Lecture notes in computer science, ISBN 9783540658702, Volume 1605, vii, 303
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed... 
Distributed processing | Electronic data processing | Computer networks | Petri nets | Information storage and retrieva | Information Storage and Retrieval | Telecommunication | Communications Engineering, Networks | Information Systems Applications (incl. Internet) | Computer Communication Networks | Software engineering
Book
2001, Lecture notes in computer science, ISBN 9783540430674, Volume 2128., viii, 484
eBook
1996, 2nd ed., Monographs in theoretical computer science, ISBN 3540609431, v.
Book
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.