Lectures on Petri Nets II: Applications Advances in Petri Nets /

Lectures on Petri Nets II: Applications Advances in Petri Nets /

The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume &...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Reisig, Wolfgang (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Rozenberg, Grzegorz (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Έκδοση:	1st ed. 1998.
Σειρά:	Lecture Notes in Computer Science, 1492
Θέματα:	Computers. Software engineering. Computer communication systems. Information technology. Business-Data processing. Computational complexity. Theory of Computation. Software Engineering. Computer Communication Networks. IT in Business. Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Lectures on Petri Nets I: Basic Models Advances in Petri Nets /
Έκδοση: (1998)

Concurrent Object-Oriented Programming and Petri Nets Advances in Petri Nets /
Έκδοση: (2001)

Application and Theory of Petri Nets 1998 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 Proceedings /
Έκδοση: (1998)

Application and Theory of Petri Nets 1999 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings /
Έκδοση: (1999)

Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings /
Έκδοση: (2000)

Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /
Έκδοση: (2001)

Petri Net Technology for Communication-Based Systems Advances in Petri Nets /
Έκδοση: (2003)

Transactions on Petri Nets and Other Models of Concurrency XIV
Έκδοση: (2019)

Applications and Theory of Petri Nets 2003 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings /
Έκδοση: (2003)

Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings /
Έκδοση: (2002)

Application of Petri Nets to Communication Networks Advances in Petri Nets /
Έκδοση: (1999)

Unifying Petri Nets Advances in Petri Nets /
Έκδοση: (2001)

System Configuration Management ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings /
Έκδοση: (1998)

Hybrid Systems V
Έκδοση: (1999)

Secure Internet Programming Security Issues for Mobile and Distributed Objects /
Έκδοση: (1999)

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings /
Έκδοση: (2019)

Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings /
Έκδοση: (2018)

ECOOP 2000 - Object-Oriented Programming 14th European Conference Sophia Antipolis and Cannes, France, June 12-16, 2000 Proceedings /
Έκδοση: (2000)

Computational Science - ICCS 2001 International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part II /
Έκδοση: (2001)

Computational Science - ICCS 2001 International Conference San Francisco, CA, USA, May 28-30, 2001 Proceedings, Part I /
Έκδοση: (2001)

Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
Έκδοση: (2002)

Quality of Service in Multiservice IP Networks Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings /
Έκδοση: (2003)

Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
Έκδοση: (1999)

Objects, Components, Architectures, Services, and Applications for a Networked World International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers /
Έκδοση: (2003)

Large-Scale Scientific Computing Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers /
Έκδοση: (2001)

Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Έκδοση: (1998)

Crisp and Soft Computing with Hypercubical Calculus New Approaches to Modeling in Cognitive Science and Technology with Parity Logic, Fuzzy Logic, and Evolutionary Computing /
ανά: Zaus, Michael, κ.ά.
Έκδοση: (1999)

Web Services - ICWS-Europe 2003 International Conference ICWS-Europe 2003, Erfurt, Germany, September 23-24, 2003, Proceedings /
Έκδοση: (2003)

Human Error and System Design and Management
Έκδοση: (2000)

Concurrency and Hardware Design Advances in Petri Nets /
Έκδοση: (2002)

Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Έκδοση: (2003)

Multiagent System Technologies First German Conference, MATES 2003, Erfurt, Germany, September 22-25, 2003, Proceedings /
Έκδοση: (2003)

Software Engineering with Computational Intelligence
Έκδοση: (2003)

ECOOP 2001 - Object-Oriented Programming 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings /
ανά: Lindskov Knudsen, Jorgen, κ.ά.
Έκδοση: (2001)

Network and Parallel Computing IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings /
Έκδοση: (2004)

Tools and Algorithms for the Construction of Analysis of Systems 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Έκδοση: (1999)

Quality of Future Internet Services COST Action 263 Final Report /
Έκδοση: (2003)

Applied Parallel Computing. New Paradigms for HPC in Industry and Academia 5th International Workshop, PARA 2000 Bergen, Norway, June 18-20, 2000 Proceedings /
Έκδοση: (2001)

Mobile and Wireless Communication Networks IFIP-TC6/European Commission NETWORKING 2000 International Workshop, MWCN 2000 Paris, France, May 16-17, 2000 Proceedings /
Έκδοση: (2000)

Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
Έκδοση: (1997)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών