Explore: Petri Nets
Discover books, insights, and more — all in one place.
Learn more about Petri Nets with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “petri-nets”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1ETFA '94, 1994 IEEE Symposium on Emerging Technologies & Factory Automation (SEIKEN Symposium)
By IEEE International Workshop on Emerging Technologies and Factory Automation (3rd 1994 Tokyo, Japan)
“ETFA '94, 1994 IEEE Symposium on Emerging Technologies & Factory Automation (SEIKEN Symposium)” Metadata:
- Title: ➤ ETFA '94, 1994 IEEE Symposium on Emerging Technologies & Factory Automation (SEIKEN Symposium)
- Author: ➤ IEEE International Workshop on Emerging Technologies and Factory Automation (3rd 1994 Tokyo, Japan)
- Language: English
- Number of Pages: Median: 477
- Publisher: ➤ Institute of Electrical and Electronics Engineers - Copies are available from IEEE Service Center
- Publish Date: 1994
- Publish Location: Piscataway, NJ - [New York]
“ETFA '94, 1994 IEEE Symposium on Emerging Technologies & Factory Automation (SEIKEN Symposium)” Subjects and Themes:
- Subjects: ➤ Congresses - Robotics - Artificial intelligence - Automation - Neural networks (Computer science) - Expert systems (Computer science) - Petri nets
Edition Identifiers:
- The Open Library ID: OL8082730M - OL1131744M
- Online Computer Library Center (OCLC) ID: 33014001
- Library of Congress Control Number (LCCN): 94078446
- All ISBNs: 9780780321144 - 0780321154 - 0780321146 - 9780780321151
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find ETFA '94, 1994 IEEE Symposium on Emerging Technologies & Factory Automation (SEIKEN Symposium) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Modeling business processes
By Wil van der Aalst
“Modeling business processes” Metadata:
- Title: Modeling business processes
- Author: Wil van der Aalst
- Language: English
- Number of Pages: Median: 393
- Publisher: MIT Press
- Publish Date: 2011
- Publish Location: Cambridge, MA
“Modeling business processes” Subjects and Themes:
- Subjects: Petri nets - Business - Data processing - Management information systems - Business, data processing
Edition Identifiers:
- The Open Library ID: OL29706920M - OL24384016M
- Online Computer Library Center (OCLC) ID: 664839011
- Library of Congress Control Number (LCCN): 2010036474
- All ISBNs: 9780262295161 - 9780262015387 - 0262295164 - 0262015382
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Modeling business processes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Discrete Event Systems in Dioid Algebra and Conventional Algebra
By Philippe Declerck
“Discrete Event Systems in Dioid Algebra and Conventional Algebra” Metadata:
- Title: ➤ Discrete Event Systems in Dioid Algebra and Conventional Algebra
- Author: Philippe Declerck
- Language: English
- Number of Pages: Median: 176
- Publisher: ➤ ISTE - Wiley & Sons, Incorporated, John - Wiley
- Publish Date: 2012 - 2013
- Publish Location: London - Hoboken, NJ
“Discrete Event Systems in Dioid Algebra and Conventional Algebra” Subjects and Themes:
- Subjects: Discrete-time systems - Rings (algebra) - Linear programming - Petri nets - System analysis
Edition Identifiers:
- The Open Library ID: ➤ OL29146216M - OL33437104M - OL37954379M - OL29146225M - OL31113424M - OL39902557M
- Online Computer Library Center (OCLC) ID: 812570974
- Library of Congress Control Number (LCCN): 2012948947
- All ISBNs: ➤ 1299242111 - 1118578627 - 9781118579657 - 1118579658 - 1848214618 - 9781848214613 - 9781118579688 - 9781118579541 - 1118579542 - 9781118578629 - 9781299242111 - 1118579682
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Discrete Event Systems in Dioid Algebra and Conventional Algebra at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4System modeling and control with resource-oriented Petri nets
By MengChu Zhou
“System modeling and control with resource-oriented Petri nets” Metadata:
- Title: ➤ System modeling and control with resource-oriented Petri nets
- Author: MengChu Zhou
- Language: English
- Number of Pages: Median: 312
- Publisher: ➤ CRC Press - Taylor & Francis Group
- Publish Date: 2010 - 2017 - 2018
- Publish Location: Boca Raton, FL
“System modeling and control with resource-oriented Petri nets” Subjects and Themes:
- Subjects: ➤ Mathematical models - Petri nets - Production control - Discrete-time systems - Flexible manufacturing systems - Systèmes flexibles de fabrication - Modèles mathématiques - Réseaux de Pétri - Production - Contrôle - Systèmes échantillonnés - TECHNOLOGY & ENGINEERING - Industrial Engineering
Edition Identifiers:
- The Open Library ID: ➤ OL33778829M - OL34592024M - OL33667387M - OL24061366M - OL28870027M - OL33730937M
- Online Computer Library Center (OCLC) ID: 471496962
- Library of Congress Control Number (LCCN): 2009026763
- All ISBNs: ➤ 1439808848 - 1315218232 - 9781315218236 - 1439808856 - 9781351825436 - 1138115088 - 9781138115088 - 9781439808856 - 1351834126 - 1351825437 - 9781439808849 - 9781351834124
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find System modeling and control with resource-oriented Petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Coloured Petri Nets, Vol. 1
Basic Concepts, Analysis Methods and Practical Use
By Kurt Jensen
“Coloured Petri Nets, Vol. 1” Metadata:
- Title: Coloured Petri Nets, Vol. 1
- Author: Kurt Jensen
- Language: English
- Number of Pages: Median: 236
- Publisher: ➤ Springer-Verlag - Springer - Springer Berlin Heidelberg
- Publish Date: 1992 - 1996 - 1997 - 2003
- Publish Location: ➤ New York - Berlin, Heidelberg - Berlin
“Coloured Petri Nets, Vol. 1” Subjects and Themes:
- Subjects: ➤ Software engineering - Computational complexity - Computer simulation - Computer science - Data structures (Computer science) - Petri nets
Edition Identifiers:
- The Open Library ID: ➤ OL1342157M - OL976480M - OL668593M - OL27025007M - OL27025005M - OL9061781M
- Online Computer Library Center (OCLC) ID: 851387288 - 851366100
- Library of Congress Control Number (LCCN): 96013598 - 97014393 - 92227749
- All ISBNs: ➤ 3662032414 - 9783662062890 - 3662062895 - 9783642082436 - 3662062917 - 9783540555971 - 3540555978 - 9783662032411 - 9783540609438 - 3642082432 - 9783662062913 - 3540609431 - 0387555978 - 9780387555973
First Setence:
"High-level nets, such as Coloured Petri Nets (CP-nets) and Predicate/ Transition Nets (Pr/T-nets), are now in widespread use for many different practical purposes."
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Coloured Petri Nets, Vol. 1 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Verification of systems and circuits using LOTOS, Petri Nets, and CCS
By Michael Yoeli, Michael Yoeli and Rakefet Kol
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Metadata:
- Title: ➤ Verification of systems and circuits using LOTOS, Petri Nets, and CCS
- Authors: Michael YoeliMichael YoeliRakefet Kol
- Language: English
- Number of Pages: Median: 248
- Publisher: ➤ John Wiley & Sons - Wiley & Sons Canada, Limited, John - Wiley-Interscience - Wiley & Sons, Incorporated, John
- Publish Date: 2008 - 2010
- Publish Location: Hoboken, N.J
“Verification of systems and circuits using LOTOS, Petri Nets, and CCS” Subjects and Themes:
- Subjects: ➤ Verification - Petri nets - Computer software - LOTOS (Computer program language) - Integrated circuits - Software engineering - Computers - Technology & Industrial Arts - Computer Books: General - Electronics - Circuits - General - Computers / Computer Engineering - Computer Engineering - Parallel programming (computer science) - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: ➤ OL48629669M - OL48206747M - OL29230033M - OL28994374M - OL10334685M - OL18339450M
- Online Computer Library Center (OCLC) ID: 840427830
- Library of Congress Control Number (LCCN): 2007033487
- All ISBNs: ➤ 9780470253397 - 9781281284679 - 9780471704492 - 0470653574 - 0470253398 - 9780470653579 - 047025341X - 9780470253410 - 0471704490 - 128128467X
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification of systems and circuits using LOTOS, Petri Nets, and CCS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Petri Nets
By Michel Diaz
“Petri Nets” Metadata:
- Title: Petri Nets
- Author: Michel Diaz
- Language: English
- Number of Pages: Median: 712
- Publisher: ➤ Wiley & Sons, Incorporated, John - ISTE Publishing Company
- Publish Date: 2007 - 2010 - 2013
“Petri Nets” Subjects and Themes:
- Subjects: ➤ Petri nets - Electronic data processing, distributed processing - Parallel processing (electronic computers) - System design
Edition Identifiers:
- The Open Library ID: OL29045573M - OL29149548M - OL8775692M - OL29149526M
- Online Computer Library Center (OCLC) ID: 148760218
- All ISBNs: ➤ 9781118623053 - 9781905209828 - 0470394307 - 1905209827 - 9781118622803 - 9780470394304 - 1118622804 - 1118623053
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Petri Nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Coloured Petri Nets
By Kurt Jensen
“Coloured Petri Nets” Metadata:
- Title: Coloured Petri Nets
- Author: Kurt Jensen
- Language: English
- Number of Pages: Median: 330
- Publisher: ➤ Springer Berlin / Heidelberg - Springer Berlin Heidelberg - Island Press - Springer
- Publish Date: ➤ 1997 - 2009 - 2010 - 2011 - 2014
“Coloured Petri Nets” Subjects and Themes:
- Subjects: Petri nets
Edition Identifiers:
- The Open Library ID: OL34428184M - OL27963612M - OL50692622M - OL28007342M - OL28273371M
- All ISBNs: ➤ 9783642607950 - 3642645569 - 3642082009 - 9783642002830 - 9783642425813 - 364242581X - 9783642082009 - 3642002838 - 3642607950 - 9783642645563
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Coloured Petri Nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Logic, Computation, Hierarchies
By Vasco Brattka, Hannes Diener and Dieter Spreen
“Logic, Computation, Hierarchies” Metadata:
- Title: ➤ Logic, Computation, Hierarchies
- Authors: Vasco BrattkaHannes DienerDieter Spreen
- Language: English
- Number of Pages: Median: 424
- Publisher: ➤ De Gruyter, Inc. - de Gruyter GmbH, Walter
- Publish Date: 2014
“Logic, Computation, Hierarchies” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Algebra, boolean - Set theory - Petri nets - Congresses - Boolean Algebra - Symbolic and mathematical Logic - Quasi-metric spaces
Edition Identifiers:
- The Open Library ID: OL37188601M - OL50674376M - OL29250478M - OL37188522M
- Library of Congress Control Number (LCCN): 2014946484
- All ISBNs: ➤ 9781614518044 - 9781614519409 - 1614517835 - 161451805X - 9781614517832 - 1614518041 - 1614519404 - 9781614518051
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic, Computation, Hierarchies at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Carl Adam Petri
By Einar Smith and Tim Denvir
“Carl Adam Petri” Metadata:
- Title: Carl Adam Petri
- Authors: Einar SmithTim Denvir
- Languages: ger - English
- Number of Pages: Median: 128
- Publisher: ➤ Springer Vieweg - Springer Berlin / Heidelberg - Springer
- Publish Date: 2014 - 2015 - 2016
- Publish Location: Berlin
“Carl Adam Petri” Subjects and Themes:
- Subjects: Electronic data processing - Mathematicians, biography - Germany, biography - Computer science - Petri nets
Edition Identifiers:
- The Open Library ID: OL37280300M - OL31167905M - OL37430522M - OL28152925M
- Library of Congress Control Number (LCCN): 2014399823
- All ISBNs: ➤ 9783662516836 - 3642402216 - 9783642402227 - 9783662480922 - 9783662480939 - 3642402224 - 3662480921 - 366248093X - 9783642402210 - 3662516837
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Carl Adam Petri at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Discrete-event simulation of fluid stochastic Petri nets
By Gianfranco Ciardo
“Discrete-event simulation of fluid stochastic Petri nets” Metadata:
- Title: ➤ Discrete-event simulation of fluid stochastic Petri nets
- Author: Gianfranco Ciardo
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - National Aeronautics and Space Administration
- Publish Date: 1997
- Publish Location: ➤ Springfield, Va - [Washington, D.C
“Discrete-event simulation of fluid stochastic Petri nets” Subjects and Themes:
- Subjects: Approximation - Petri nets - Queueing theory - Stochastic processes
Edition Identifiers:
- The Open Library ID: OL17125193M - OL17565704M - OL18114844M - OL15487252M
- Online Computer Library Center (OCLC) ID: 39750133
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Discrete-event simulation of fluid stochastic Petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Advances in Petri nets, 1986
By W. Brauer, Wolfgang Reisig and G. Rozenberg
“Advances in Petri nets, 1986” Metadata:
- Title: Advances in Petri nets, 1986
- Authors: W. BrauerWolfgang ReisigG. Rozenberg
- Language: English
- Number of Pages: Median: 516
- Publisher: Springer-Verlag - Springer
- Publish Date: 1987
- Publish Location: New York - Berlin
“Advances in Petri nets, 1986” Subjects and Themes:
- Subjects: ➤ Machine theory - Petri nets - Congresses - Petri-Netz - Informatik - Kongress - Aufsatzsammlung
Edition Identifiers:
- The Open Library ID: OL10152426M - OL21857664M - OL19629981M - OL10152427M
- Online Computer Library Center (OCLC) ID: 70334364 - 15792261
- Library of Congress Control Number (LCCN): 87012860
- All ISBNs: ➤ 9780387179056 - 3540179054 - 3540179062 - 9780387179063 - 9783540179061 - 9783540179054 - 0387179062 - 0387179054
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in Petri nets, 1986 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Understanding Petri Nets
By Wolfgang Reisig
“Understanding Petri Nets” Metadata:
- Title: Understanding Petri Nets
- Author: Wolfgang Reisig
- Language: English
- Number of Pages: Median: 257
- Publisher: Springer
- Publish Date: 2013 - 2016
“Understanding Petri Nets” Subjects and Themes:
- Subjects: ➤ Software Engineering/Programming and Operating Systems - Computer science - Software engineering - Electronic data processing - Theory of Computation - Information theory - Computing Methodologies - Petri nets - General - Intelligence (ai) & semantics - Professional, career & trade -> computer science -> computer science - Professional, career & trade -> engineering -> software engineering - Sci16005 - Sci14002 - Sci21009 - Suco11645 - Sci21000 - Professional, career & trade -> computer science -> intelligence (ai) & semantics - 2981 - 5482 - 2970
Edition Identifiers:
- The Open Library ID: OL28012396M - OL27986592M - OL27093434M
- All ISBNs: ➤ 3662523078 - 9783662523070 - 9783642332791 - 3642332781 - 364233279X - 9783642332784
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Understanding Petri Nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Modelling and analysis of hybrid supervisory systems
By Emilia Villani, Paulo Eigi Miyagi and Robert Valette
“Modelling and analysis of hybrid supervisory systems” Metadata:
- Title: ➤ Modelling and analysis of hybrid supervisory systems
- Authors: Emilia VillaniPaulo Eigi MiyagiRobert Valette
- Language: English
- Number of Pages: Median: 235
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2006 - 2007 - 2010
- Publish Location: London
“Modelling and analysis of hybrid supervisory systems” Subjects and Themes:
- Subjects: ➤ Automatic control - Case studies - Mathematical models - Petri nets - System analysis - Automatic control engineering - Technology - Technology & Industrial Arts - Science/Mathematics - Engineering - Electrical & Electronic - Networking - General - Robotics - Automation - Computers-Networking - General - Control - Control Applications - Control Engineering - Hybrid Systems - Networks - Supervisory Control - Supervisory Systems - Engineering - General
Edition Identifiers:
- The Open Library ID: OL36192483M - OL8962653M - OL17177011M
- Online Computer Library Center (OCLC) ID: 72868848
- Library of Congress Control Number (LCCN): 2006938338
- All ISBNs: ➤ 1849966370 - 9781846286513 - 1846286506 - 9781849966375 - 1846286514 - 9781846286506
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Modelling and analysis of hybrid supervisory systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Verifying temporal properties of systems
By J. C. Bradfield
“Verifying temporal properties of systems” Metadata:
- Title: ➤ Verifying temporal properties of systems
- Author: J. C. Bradfield
- Language: English
- Number of Pages: Median: 113
- Publisher: ➤ Island Press - Birkhauser Verlag - Birkhäuser
- Publish Date: 1992 - 2013
- Publish Location: Boston
“Verifying temporal properties of systems” Subjects and Themes:
- Subjects: Automatic theorem proving - Petri nets - Verification (Logic)
Edition Identifiers:
- The Open Library ID: OL50698531M - OL51077077M - OL1558935M
- Online Computer Library Center (OCLC) ID: 24792093
- Library of Congress Control Number (LCCN): 91039902
- All ISBNs: ➤ 9781468468199 - 1468468197 - 9781468468205 - 9783764336257 - 1468468200 - 3764336250 - 9780817636258 - 0817636250
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Verifying temporal properties of systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Petri nets for systems engineering
By Claude Girault and Rüdiger Valk
“Petri nets for systems engineering” Metadata:
- Title: ➤ Petri nets for systems engineering
- Authors: Claude GiraultRüdiger Valk
- Language: English
- Number of Pages: Median: 607
- Publisher: Springer
- Publish Date: 2002 - 2003
- Publish Location: New York - Berlin
“Petri nets for systems engineering” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Petri nets - Systems engineering - Mathematical logic - Software engineering - Machine Theory - Computers - Languages / Programming - Computer Mathematics - Programming - Systems Analysis & Design - Computers - Logic Design - Computer Books And Software - Industrial Technology - Formal methods (Computer scien - Applications - Computers / Programming / Software Development - Computers / Programming / Systems Analysis & Design - Computers-Machine Theory - Modeling - Computer Science
Edition Identifiers:
- The Open Library ID: OL18182006M - OL9057110M
- Online Computer Library Center (OCLC) ID: 50906339
- Library of Congress Control Number (LCCN): 2002191198
- All ISBNs: 9783540412175 - 3540412174
First Setence:
"This book intends to show how Petri nets fill many of the needs of systems modelling, their verification and implementation, as mentioned in the preface."
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Petri nets for systems engineering at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Advances in Petri Nets 1988
By Grzegorz Rozenberg
“Advances in Petri Nets 1988” Metadata:
- Title: Advances in Petri Nets 1988
- Author: Grzegorz Rozenberg
- Language: English
- Number of Pages: Median: 439
- Publisher: Springer
- Publish Date: 1988 - 1989
- Publish Location: Berlin
“Advances in Petri Nets 1988” Subjects and Themes:
- Subjects: Petri nets - Congresses - Machine theory
Edition Identifiers:
- The Open Library ID: OL21342959M - OL9354701M - OL7446066M
- Online Computer Library Center (OCLC) ID: 18958954
- All ISBNs: 9783540505808 - 9780387505800 - 0387505806 - 3540505806
First Setence:
"There is a growing interest in high level Petri nets not only for analysis and performance evaluation purposes but also for modelling and prototyping issues in the framework of software engineering [1]."
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in Petri Nets 1988 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Augmented Marked Graphs
By King Sing Cheung
“Augmented Marked Graphs” Metadata:
- Title: Augmented Marked Graphs
- Author: King Sing Cheung
- Language: English
- Number of Pages: Median: 158
- Publisher: Springer
- Publish Date: 2014
“Augmented Marked Graphs” Subjects and Themes:
- Subjects: ➤ Petri nets - Computer science - Software engineering - Information theory - Theory of Computation - Software Engineering/Programming and Operating Systems
Edition Identifiers:
- The Open Library ID: OL37414417M - OL28151577M - OL34381237M
- All ISBNs: ➤ 3319064282 - 9783319064277 - 9783319064284 - 9783319064291 - 3319064274 - 3319064290
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Augmented Marked Graphs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Free choice Petri nets
By Jorg Desel and Javier Esparza
“Free choice Petri nets” Metadata:
- Title: Free choice Petri nets
- Authors: Jorg DeselJavier Esparza
- Language: English
- Number of Pages: Median: 252
- Publisher: Cambridge University Press
- Publish Date: 2005 - 2009 - 2011
“Free choice Petri nets” Subjects and Themes:
- Subjects: Petri nets
Edition Identifiers:
- The Open Library ID: OL40494640M - OL34440838M - OL7713619M
- Library of Congress Control Number (LCCN): 2006274661
- All ISBNs: ➤ 0511885822 - 0521019451 - 9780511526558 - 9780511885822 - 9780521019453 - 0511526555
First Setence:
"Petri nets are one of the most popular formal models of concurrent systems, used by both theoreticians and practitioners."
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Free choice Petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Modeling, simulation, and control of flexible manufacturing systems
By Mengchu Zhou and Kurapati Venkatesh
“Modeling, simulation, and control of flexible manufacturing systems” Metadata:
- Title: ➤ Modeling, simulation, and control of flexible manufacturing systems
- Authors: Mengchu ZhouKurapati Venkatesh
- Language: English
- Number of Pages: Median: 409
- Publisher: ➤ World Scientific Publishing Company - World Scientific Publishing Co Pte Ltd
- Publish Date: 1999
“Modeling, simulation, and control of flexible manufacturing systems” Subjects and Themes:
- Subjects: ➤ Petri nets - Flexible manufacturing systems.ls - Flexible manufacturing systems - Manufacturing processes
Edition Identifiers:
- The Open Library ID: OL49249163M - OL9194664M - OL49248470M
- Library of Congress Control Number (LCCN): 98045715
- All ISBNs: ➤ 1299618677 - 9812839763 - 981023029X - 9789812839763 - 9781299618671 - 9789810230296
First Setence:
"Flexible and agile manufacturing is of increasing importance in advancing factory automation that keeps a manufacturer in a competitive edge."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Modeling, simulation, and control of flexible manufacturing systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Hardware design and petri nets
By Luís Gomes and Luciano Lavagno
“Hardware design and petri nets” Metadata:
- Title: Hardware design and petri nets
- Authors: Luís GomesLuciano Lavagno
- Language: English
- Number of Pages: Median: 331
- Publisher: ➤ Kluwer Academic - Kluwer Academic Publishers - Springer
- Publish Date: 2000
- Publish Location: London - Boston
“Hardware design and petri nets” Subjects and Themes:
- Subjects: ➤ Petri nets - Digital integrated circuits - Design and construction - Parallel processing (Electronic computers) - Embedded computer systems - Asynchronous circuits - Digital electronics - Mathematical models
Edition Identifiers:
- The Open Library ID: OL7809912M - OL19142276M - OL19019723M
- Online Computer Library Center (OCLC) ID: 44446919 - 43786519
- Library of Congress Control Number (LCCN): 00022972
- All ISBNs: 0792377915 - 9780792377917
First Setence:
"As event-driven systems, asynchronous circuits react immediately and in general concurrently to rising and falling edges of their binary input signals x (input edges), namely by generating edges of their output signals y (output edges)."
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Hardware design and petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Advances in verification of time petri nets and timed automata
By Wojciech Penczek and Agata Pólrola
“Advances in verification of time petri nets and timed automata” Metadata:
- Title: ➤ Advances in verification of time petri nets and timed automata
- Authors: Wojciech PenczekAgata Pólrola
- Language: English
- Number of Pages: Median: 291
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006 - 2007 - 2010
“Advances in verification of time petri nets and timed automata” Subjects and Themes:
- Subjects: Real-time control - Petri nets - Real-time data processing
Edition Identifiers:
- The Open Library ID: OL9056371M - OL28139747M - OL37096457M
- Online Computer Library Center (OCLC) ID: 70268083
- Library of Congress Control Number (LCCN): 2006925476
- All ISBNs: ➤ 3642069428 - 9783540328698 - 9783642069420 - 9783540328704 - 3540328696 - 354032870X
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in verification of time petri nets and timed automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Sixth International Workshop on Discrete Event Systems
By Workshop on Discrete Event Systems (6th 2002 Zaragoza, Spain)
“Sixth International Workshop on Discrete Event Systems” Metadata:
- Title: ➤ Sixth International Workshop on Discrete Event Systems
- Author: ➤ Workshop on Discrete Event Systems (6th 2002 Zaragoza, Spain)
- Language: English
- Number of Pages: Median: 412
- Publisher: Ieee - IEEE Computer Society
- Publish Date: 2002
- Publish Location: Los Alamitos, Calif
“Sixth International Workshop on Discrete Event Systems” Subjects and Themes:
- Subjects: System analysis - Congresses - Discrete-time systems - Petri nets
Edition Identifiers:
- The Open Library ID: OL8067558M - OL23978959M - OL24113272M
- Online Computer Library Center (OCLC) ID: 50793110
- Library of Congress Control Number (LCCN): 2002111977
- All ISBNs: 0769516831 - 9780769516837
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Sixth International Workshop on Discrete Event Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Net theory and applications
By Advanced Course on General Net Theory of Processes andSystems (1979 Hamburg)
“Net theory and applications” Metadata:
- Title: Net theory and applications
- Author: ➤ Advanced Course on General Net Theory of Processes andSystems (1979 Hamburg)
- Language: English
- Number of Pages: Median: 537
- Publisher: Springer-Verlag
- Publish Date: 1980
- Publish Location: New York - Berlin
“Net theory and applications” Subjects and Themes:
- Subjects: Congresses - Machine theory - Petri nets - Nets (Mathematical) - Nets (Mathematics)
Edition Identifiers:
- The Open Library ID: OL22355633M - OL22179296M - OL4102740M
- Online Computer Library Center (OCLC) ID: 6446573
- Library of Congress Control Number (LCCN): 80017287
- All ISBNs: 3540100016 - 9780387100012 - 0387100016 - 9783540100010
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Net theory and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Discrete-time Markovian stochastic Petri nets
By Gianfranco Ciardo
“Discrete-time Markovian stochastic Petri nets” Metadata:
- Title: ➤ Discrete-time Markovian stochastic Petri nets
- Author: Gianfranco Ciardo
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
- Publish Date: 1995
- Publish Location: Hampton, VA - [Springfield, Va
“Discrete-time Markovian stochastic Petri nets” Subjects and Themes:
- Subjects: Markov chains - Petri nets
Edition Identifiers:
- The Open Library ID: OL15409970M - OL16984373M - OL18079296M
- Online Computer Library Center (OCLC) ID: 32822071
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Discrete-time Markovian stochastic Petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Distributed state-space generation of discrete-state stochastic models
By Gianfranco Ciardo
“Distributed state-space generation of discrete-state stochastic models” Metadata:
- Title: ➤ Distributed state-space generation of discrete-state stochastic models
- Author: Gianfranco Ciardo
- Language: English
- Publisher: ➤ National Technical Information Service, distributor - Institute for Computer Applications in Science and Engineering, NASA Langley Research Center
- Publish Date: 1995
- Publish Location: Hampton, VA - [Springfield, Va
“Distributed state-space generation of discrete-state stochastic models” Subjects and Themes:
- Subjects: ➤ Petri nets - State vectors - Markov processes - Complex systems - Distributed processing - Vector spaces - Computer programming - Formalism
Edition Identifiers:
- The Open Library ID: OL15420650M - OL18085488M - OL17087845M
- Online Computer Library Center (OCLC) ID: 34702713
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Distributed state-space generation of discrete-state stochastic models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Petri Net Synthesis
By Eric Badouel, Luca Bernardinello and Philippe Darondeau
“Petri Net Synthesis” Metadata:
- Title: Petri Net Synthesis
- Authors: Eric BadouelLuca BernardinelloPhilippe Darondeau
- Language: English
- Number of Pages: Median: 352
- Publisher: ➤ Springer Berlin / Heidelberg - Springer
- Publish Date: 2015 - 2016
“Petri Net Synthesis” Subjects and Themes:
- Subjects: Petri nets
Edition Identifiers:
- The Open Library ID: OL30548118M - OL37430778M - OL27999545M
- All ISBNs: ➤ 3662479664 - 9783662479674 - 3662516217 - 9783662516218 - 9783662479667 - 3662479672
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Petri Net Synthesis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Time and Petri Nets
By Louchka Popova-Zeugmann
“Time and Petri Nets” Metadata:
- Title: Time and Petri Nets
- Author: Louchka Popova-Zeugmann
- Language: English
- Number of Pages: Median: 222
- Publisher: ➤ Springer - Springer Berlin / Heidelberg
- Publish Date: 2013 - 2016
“Time and Petri Nets” Subjects and Themes:
- Subjects: Petri nets - Computer science - Software engineering - Bioinformatics - Biological models
Edition Identifiers:
- The Open Library ID: OL34882015M - OL28363225M - OL30515257M
- All ISBNs: ➤ 9783662514351 - 9783642411151 - 3642411169 - 3662514354 - 3642411150 - 9783642411168
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Time and Petri Nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29A Primer in Petri Net Design
By Wolfgang Reisig
“A Primer in Petri Net Design” Metadata:
- Title: A Primer in Petri Net Design
- Author: Wolfgang Reisig
- Language: English
- Number of Pages: Median: 134
- Publisher: ➤ Springer Berlin Heidelberg - Springer
- Publish Date: 2011 - 2012
“A Primer in Petri Net Design” Subjects and Themes:
- Subjects: Petri nets - System design
Edition Identifiers:
- The Open Library ID: OL37421285M - OL30541624M - OL27961375M
- All ISBNs: ➤ 3642753299 - 9783642753312 - 9783642753305 - 3642753310 - 3642753302 - 9783642753299
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A Primer in Petri Net Design at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Transactions On Petri Nets And Other Models Of Concurrency Iv
By Maciej Koutny
“Transactions On Petri Nets And Other Models Of Concurrency Iv” Metadata:
- Title: ➤ Transactions On Petri Nets And Other Models Of Concurrency Iv
- Author: Maciej Koutny
- Language: English
- Number of Pages: Median: 235
- Publisher: Springer
- Publish Date: 2010 - 2011
“Transactions On Petri Nets And Other Models Of Concurrency Iv” Subjects and Themes:
- Subjects: ➤ Computer simulation - Computer science - Software engineering - Computer networks - Information theory - Computer software - Petri nets - Parallel processing (electronic computers)
Edition Identifiers:
- The Open Library ID: OL26109029M - OL28112165M - OL34456185M
- All ISBNs: ➤ 3642182224 - 3642182232 - 9783642182211 - 9783642182228 - 9783642182235 - 3642182216
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Transactions On Petri Nets And Other Models Of Concurrency Iv at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Supervisory control of concurrent systems
By Marian V. Iordache and Panos J. Antsaklis
“Supervisory control of concurrent systems” Metadata:
- Title: ➤ Supervisory control of concurrent systems
- Authors: Marian V. IordachePanos J. Antsaklis
- Language: English
- Number of Pages: Median: 281
- Publisher: ➤ Birkhäuser Boston - Springer London, Limited
- Publish Date: 2004 - 2006
“Supervisory control of concurrent systems” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Petri nets - Supervisory control systems - Building
Edition Identifiers:
- The Open Library ID: OL51573460M - OL37094475M - OL8074829M
- Online Computer Library Center (OCLC) ID: 66619601
- Library of Congress Control Number (LCCN): 2006922103
- All ISBNs: ➤ 0817644881 - 1280940549 - 9781280940545 - 0817643575 - 9780817643577 - 9780817644888
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Supervisory control of concurrent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Advances in Petri Nets 1985
By Grzegorz Rozenberg
“Advances in Petri Nets 1985” Metadata:
- Title: Advances in Petri Nets 1985
- Author: Grzegorz Rozenberg
- Languages: English - ger
- Number of Pages: Median: 498
- Publisher: Springer
- Publish Date: 1986
- Publish Location: Berlin
“Advances in Petri Nets 1985” Subjects and Themes:
- Subjects: ➤ Petri nets - Machine theory - Parallel programming (computer science) - Congresses
Edition Identifiers:
- The Open Library ID: OL22272464M - OL9377290M - OL12772259M
- Online Computer Library Center (OCLC) ID: 13580892
- Library of Congress Control Number (LCCN): 86011894
- All ISBNs: 9783540164807 - 0387164804 - 9780387164809 - 3540164804
First Setence:
"Caches are small memories that match the processor speed."
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in Petri Nets 1985 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Discrete, continuous, and hybrid Petri Nets
By René David and Hassane Alla
“Discrete, continuous, and hybrid Petri Nets” Metadata:
- Title: ➤ Discrete, continuous, and hybrid Petri Nets
- Authors: René DavidHassane Alla
- Language: English
- Number of Pages: Median: 524
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2004 - 2005 - 2010
“Discrete, continuous, and hybrid Petri Nets” Subjects and Themes:
- Subjects: Petri nets - Technology - Engineering
Edition Identifiers:
- The Open Library ID: OL37124484M - OL37096291M - OL9054861M
- Online Computer Library Center (OCLC) ID: 56654589
- Library of Congress Control Number (LCCN): 2004110950
- All ISBNs: ➤ 9783540268215 - 3540224807 - 3642106692 - 3540268219 - 9783540224808 - 9783642106699
First Setence:
"A Petri net (PN) has two types of nodes, namely places and transitions (Figure 1.1)."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Discrete, continuous, and hybrid Petri Nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Quality of Communication-Based Systems
By Günter Hommel
“Quality of Communication-Based Systems” Metadata:
- Title: ➤ Quality of Communication-Based Systems
- Author: Günter Hommel
- Language: English
- Number of Pages: Median: 208
- Publisher: ➤ Imprint - Springer - Springer Netherlands
- Publish Date: 1995 - 2011 - 2012
- Publish Location: Dordrecht
“Quality of Communication-Based Systems” Subjects and Themes:
- Subjects: ➤ Electronic data processing, distributed processing - Parallel processing (electronic computers) - Petri nets - Abstract data types (computer science) - Mathematics - System theory - Computer science - Software engineering - Algebra - Homological Algebra Category Theory - Control Systems Theory - Processor Architectures - Programming Languages, Compilers, Interpreters - Software Engineering/Programming and Operating Systems
Edition Identifiers:
- The Open Library ID: OL34375987M - OL30925946M - OL27083939M
- Online Computer Library Center (OCLC) ID: 840308370
- All ISBNs: ➤ 9789401101882 - 9401040842 - 9401101884 - 9789401101875 - 9789401040846 - 9401101876
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Quality of Communication-Based Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Nonsequential Processes
By Eike Best
“Nonsequential Processes” Metadata:
- Title: Nonsequential Processes
- Author: Eike Best
- Language: English
- Number of Pages: Median: 117
- Publisher: ➤ Springer-Verlag - Springer - Island Press - Springer Berlin Heidelberg
- Publish Date: 1988 - 2011
- Publish Location: Berlin, Heidelberg
“Nonsequential Processes” Subjects and Themes:
- Subjects: Petri nets - Machine theory
Edition Identifiers:
- The Open Library ID: OL50680517M - OL28007577M - OL27077711M
- Online Computer Library Center (OCLC) ID: 840295086
- All ISBNs: ➤ 3642734839 - 3642734847 - 9783642734854 - 9783642734847 - 3642734855 - 9783642734830
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Nonsequential Processes at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Parallel and distributed logic programming
By Alakananda Bhattacharya
“Parallel and distributed logic programming” Metadata:
- Title: ➤ Parallel and distributed logic programming
- Author: Alakananda Bhattacharya
- Language: English
- Number of Pages: Median: 298
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006 - 2010
“Parallel and distributed logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Electronic data processing - Distributed processing - Petri nets - Parallel programming (Computer science) - Parallel programming (computer science) - Electronic data processing, distributed processing
Edition Identifiers:
- The Open Library ID: OL37102504M - OL30677885M - OL9056463M
- Library of Congress Control Number (LCCN): 2006925432
- All ISBNs: ➤ 3642070086 - 3540334580 - 9783642070082 - 9783540334590 - 3540334599 - 9783540334583
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Parallel and distributed logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Petri nets
By Michel Diaz
“Petri nets” Metadata:
- Title: Petri nets
- Author: Michel Diaz
- Language: English
- Number of Pages: Median: 656
- Publisher: ➤ Wiley & Sons, Incorporated, John - ISTE/John Wiley and Sons - Wiley-ISTE - Wiley-Interscience
- Publish Date: 2009 - 2010
- Publish Location: Hoboken, NJ
“Petri nets” Subjects and Themes:
- Subjects: Electronic data processing - Distributed processing - Petri nets - System design - Parallel processing (Electronic computers)
Edition Identifiers:
- The Open Library ID: OL48707768M - OL39905146M - OL23213615M
- Library of Congress Control Number (LCCN): 2009017412
- All ISBNs: ➤ 9780470611647 - 0470611642 - 9781282688797 - 1848210795 - 1282688790 - 9781848210790
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Lectures on Petri nets
By Wolfgang Reisig and Grzegorz Rozenberg
“Lectures on Petri nets” Metadata:
- Title: Lectures on Petri nets
- Authors: Wolfgang ReisigGrzegorz Rozenberg
- Language: English
- Number of Pages: Median: 477
- Publisher: Springer
- Publish Date: 1998
- Publish Location: New York - Berlin
“Lectures on Petri nets” Subjects and Themes:
- Subjects: Petri nets - Congresses
Edition Identifiers:
- The Open Library ID: OL9062836M - OL9062835M - OL385336M
- Online Computer Library Center (OCLC) ID: 40269171
- Library of Congress Control Number (LCCN): 98047976
- All ISBNs: 3540653066 - 3540653074 - 9783540653073 - 9783540653066
First Setence:
""Petri Nets" is a collective term that, in the course of time, has come to designate a large number of system models, analysis techniques, graphical representations and notational conventions that are based on specific assumptions about the world of information processing."
"One of the main aims of the Petri net theory is to model concurrent systems and to allow to reason about them formally."
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Lectures on Petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Stochastic Petri Nets
By Peter J. Haas
“Stochastic Petri Nets” Metadata:
- Title: Stochastic Petri Nets
- Author: Peter J. Haas
- Language: English
- Number of Pages: Median: 523
- Publisher: Springer - Springer New York
- Publish Date: 2002 - 2006
- Publish Location: New York
“Stochastic Petri Nets” Subjects and Themes:
- Subjects: ➤ Petri nets - Stochastic analysis - Redes de petri - Análise estocástica - Mathematics - Distribution (Probability theory) - Computer simulation - Operations research - Mathematical statistics - Probability Theory and Stochastic Processes - Simulation and Modeling - Statistical Theory and Methods - Mathematical Programming Operations Research
Edition Identifiers:
- The Open Library ID: OL37351195M - OL7448941M - OL18176239M
- Online Computer Library Center (OCLC) ID: 50295746
- Library of Congress Control Number (LCCN): 2002019559
- All ISBNs: 0387954457 - 0387215522 - 9780387215525 - 9780387954455
First Setence:
"Predicting the performance of a computer, manufacturing, telecommunication, workflow, or transportation system is almost always a challenging task."
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Stochastic Petri Nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Territorialʹno-proizvodstvennye kompleksy
By Mark Konstantinovich Bandman
“Territorialʹno-proizvodstvennye kompleksy” Metadata:
- Title: ➤ Territorialʹno-proizvodstvennye kompleksy
- Author: Mark Konstantinovich Bandman
- Language: rus
- Number of Pages: Median: 254
- Publisher: ➤ Nauka, Sib. otd-nie - "Nauka," Sibirskoe otd-nie
- Publish Date: 1980 - 1990
- Publish Location: Novosibirsk
“Territorialʹno-proizvodstvennye kompleksy” Subjects and Themes:
- Subjects: ➤ Economic policy - Industrial location - Industrial management - Industrial organization - Mathematical models - Petri nets - Regional planning - Soviet Union - Territorial production complexes - Economic forecasting
- Places: Russia (Federation) - Siberia - Soviet Union
Edition Identifiers:
- The Open Library ID: OL19648660M - OL3915368M - OL1614205M
- Online Computer Library Center (OCLC) ID: 22568723 - 7835825
- Library of Congress Control Number (LCCN): 91155079 - 81481485
- All ISBNs: 9785020291072 - 5020291072
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Territorialʹno-proizvodstvennye kompleksy at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Dynamic Analysis of Petri Net-Based Discrete Systems
By Andrei Karatkevich
“Dynamic Analysis of Petri Net-Based Discrete Systems” Metadata:
- Title: ➤ Dynamic Analysis of Petri Net-Based Discrete Systems
- Author: Andrei Karatkevich
- Language: English
- Number of Pages: Median: 166
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2007
“Dynamic Analysis of Petri Net-Based Discrete Systems” Subjects and Themes:
- Subjects: ➤ Parallel processing (Electronic computers) - Petri nets - Discrete-time systems - Digital control systems - Design and construction
Edition Identifiers:
- The Open Library ID: OL9063648M - OL37118135M
- Online Computer Library Center (OCLC) ID: 127107439
- Library of Congress Control Number (LCCN): 2007923719
- All ISBNs: 3540714642 - 9783540714644 - 3540715606 - 9783540715603
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Dynamic Analysis of Petri Net-Based Discrete Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Colour Petri nets for object-oriented modelling
By Sarah L. English
“Colour Petri nets for object-oriented modelling” Metadata:
- Title: ➤ Colour Petri nets for object-oriented modelling
- Author: Sarah L. English
- Language: English
- Publisher: Springer
- Publish Date: 1993 - 2009
“Colour Petri nets for object-oriented modelling” Subjects and Themes:
- Subjects: Petri nets - Gefärbtes Petri-Netz
Edition Identifiers:
- The Open Library ID: OL13941065M - OL25418888M
- Library of Congress Control Number (LCCN): 2009926853
- All ISBNs: 3642002846 - 9783642002847
Access and General Info:
- First Year Published: 1993
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Colour Petri nets for object-oriented modelling at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Supervision of Petri Nets
By Geert Stremersch
“Supervision of Petri Nets” Metadata:
- Title: Supervision of Petri Nets
- Author: Geert Stremersch
- Language: English
- Number of Pages: Median: 214
- Publisher: Springer
- Publish Date: 2001 - 2012
“Supervision of Petri Nets” Subjects and Themes:
- Subjects: Petri nets - Control theory
Edition Identifiers:
- The Open Library ID: OL11152449M - OL28122873M
- Online Computer Library Center (OCLC) ID: 47297742
- Library of Congress Control Number (LCCN): 2001046195
- All ISBNs: 1461356032 - 9780792374862 - 9781461356035 - 079237486X
First Setence:
"In this chapter discrete event systems are defined and the Petri net model for these dynamic systems is introduced."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Supervision of Petri Nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
441995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation
By INRIA/IEEE Symposium on Emerging Technologies and Factory Automation (1995 Paris, France)
“1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation” Metadata:
- Title: ➤ 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation
- Author: ➤ INRIA/IEEE Symposium on Emerging Technologies and Factory Automation (1995 Paris, France)
- Language: English
- Publisher: IEEE Computer Society Press
- Publish Date: 1995
- Publish Location: Los Alamitos, CA
“1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation” Subjects and Themes:
- Subjects: ➤ Congresses - Robotics - Artificial intelligence - Automation - Industrial engineering - Production management - Industrial efficiency - Reengineering (Management) - Flexible manufacturing systems - Computer integrated manufacturing systems - Petri nets - Neural networks (Computer science)
Edition Identifiers:
- The Open Library ID: OL8082768M - OL821354M
- Online Computer Library Center (OCLC) ID: 34259934 - 36245469
- Library of Congress Control Number (LCCN): 95075166
- All ISBNs: 0780325354 - 0780325362 - 9780780325357 - 9780780325364
Access and General Info:
- First Year Published: 1995
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Application and Theory of Petri Nets and Concurrency
By Raymond Devillers and Antti Valmari
“Application and Theory of Petri Nets and Concurrency” Metadata:
- Title: ➤ Application and Theory of Petri Nets and Concurrency
- Authors: Raymond DevillersAntti Valmari
- Language: English
- Number of Pages: Median: 351
- Publisher: ➤ Springer International Publishing AG - Springer London, Limited
- Publish Date: 2015
“Application and Theory of Petri Nets and Concurrency” Subjects and Themes:
- Subjects: Petri nets
Edition Identifiers:
- The Open Library ID: OL34520586M - OL34516597M
- All ISBNs: 9783319194882 - 3319194879 - 9783319194875 - 3319194887
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Application and Theory of Petri Nets and Concurrency at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Performance modeling of automated manufacturingsystems
By N. Viswanadham
“Performance modeling of automated manufacturingsystems” Metadata:
- Title: ➤ Performance modeling of automated manufacturingsystems
- Author: N. Viswanadham
- Language: English
- Number of Pages: Median: 592
- Publisher: ➤ Prentice Hall - Pearson College Div
- Publish Date: 1992
- Publish Location: ➤ Englewood Cliffs, NJ - Englewood Cliffs, N.J - London
“Performance modeling of automated manufacturingsystems” Subjects and Themes:
- Subjects: Flexible manufacturing systems - Markov processes - Mathematical models - Petri nets - Queuing theory
Edition Identifiers:
- The Open Library ID: OL21137554M - OL1560121M
- Online Computer Library Center (OCLC) ID: 24796129
- Library of Congress Control Number (LCCN): 91041220
- All ISBNs: 0136588247 - 9780136588245
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Performance modeling of automated manufacturingsystems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Advances in Petri Nets, 1989 (Advances in Petri Nets)
By Grzegorz Rozenberg
“Advances in Petri Nets, 1989 (Advances in Petri Nets)” Metadata:
- Title: ➤ Advances in Petri Nets, 1989 (Advances in Petri Nets)
- Author: Grzegorz Rozenberg
- Language: English
- Number of Pages: Median: 524
- Publisher: Springer - Springer-Verlag
- Publish Date: 1990
- Publish Location: London - Berlin
“Advances in Petri Nets, 1989 (Advances in Petri Nets)” Subjects and Themes:
- Subjects: Petri nets - Congresses - Machine theory
Edition Identifiers:
- The Open Library ID: OL21343815M - OL10153226M
- Online Computer Library Center (OCLC) ID: 21591371
- All ISBNs: 0387524940 - 9780387524948
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in Petri Nets, 1989 (Advances in Petri Nets) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Advances in Petri Nets, 1990 (Advances in Petri Nets)
By Grzegorz Rozenberg
“Advances in Petri Nets, 1990 (Advances in Petri Nets)” Metadata:
- Title: ➤ Advances in Petri Nets, 1990 (Advances in Petri Nets)
- Author: Grzegorz Rozenberg
- Language: English
- Number of Pages: Median: 515
- Publisher: Springer - Springer-Verlag
- Publish Date: 1991
- Publish Location: London - Berlin
“Advances in Petri Nets, 1990 (Advances in Petri Nets)” Subjects and Themes:
- Subjects: Petri nets - Congresses - Machine theory
Edition Identifiers:
- The Open Library ID: OL10153449M - OL21344173M
- Online Computer Library Center (OCLC) ID: 23538908
- All ISBNs: 0387538631 - 9780387538631
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in Petri Nets, 1990 (Advances in Petri Nets) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Petri nets
By Jean-Marie Proth and Xiaolan Xie
“Petri nets” Metadata:
- Title: Petri nets
- Authors: Jean-Marie ProthXiaolan Xie
- Language: English
- Number of Pages: Median: 293
- Publisher: ➤ Wiley - John Wiley & Sons Ltd (Import)
- Publish Date: 1996 - 1997
- Publish Location: New York - Chichester
“Petri nets” Subjects and Themes:
- Subjects: ➤ Mathematical models - Petri nets - Production control - Flexible manufacturing systems - Computer aided manufacture (CAM) - Manufacturing industries - Mathematical modelling - Science/Mathematics - Technology - Manufacturing
Edition Identifiers:
- The Open Library ID: OL7631829M - OL989713M
- Online Computer Library Center (OCLC) ID: 34943354
- Library of Congress Control Number (LCCN): 96028024
- All ISBNs: 047196770X - 9780471967705
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Petri nets at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Sieci Petriego i PN-TOOLS
By Zbigniew Suraj
“Sieci Petriego i PN-TOOLS” Metadata:
- Title: Sieci Petriego i PN-TOOLS
- Author: Zbigniew Suraj
- Language: pol
- Number of Pages: Median: 146
- Publisher: ➤ Wydawn. Wyższej Szkoły Pedagogicznej
- Publish Date: 1999
- Publish Location: Rzeszów
“Sieci Petriego i PN-TOOLS” Subjects and Themes:
- Subjects: Petri nets - System analysis - System design
Edition Identifiers:
- The Open Library ID: OL6818778M
- Online Computer Library Center (OCLC) ID: 44089443
- Library of Congress Control Number (LCCN): 00296767
- All ISBNs: 9788387288341 - 8387288349
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Sieci Petriego i PN-TOOLS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.