Advances in Petri Nets 1984
538 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
- Utgivningsdatum:1985-03-01
- Mått:155 x 235 x 26 mm
- Vikt:721 g
- Format:Häftad
- Språk:Engelska
- Serie:Lecture Notes in Computer Science
- Antal sidor:472
- Upplaga:1985
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783540152040
Utforska kategorier
Innehållsförteckning
- PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets.
Mer från samma författare
Graph-Grammars and Their Application to Computer Science and Biology
V. Claus, H. Ehrig, G. Rozenberg
Häftad, 1979
572 kr
Foundations of Object-Oriented Languages
J.W. de Bakker, W.P. de Roever, G. Rozenberg
Häftad, 1991
571 kr
Real-Time: Theory in Practice
J.W.de Bakker, C. Huizing, W.P.de Roever, G. Rozenberg
Häftad, 1992
1 136 kr
Semantics: Foundations and Applications
J.W.de Bakker, W.-P.de Roever, G. Rozenberg
Häftad, 1993
1 136 kr
Decade of Concurrency: Reflections and Perspectives
J.W.de Bakker, W.-P.de Roever, G. Rozenberg
Häftad, 1994
1 136 kr
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
555 kr
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
933 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
572 kr
Energy Informatics
Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin
Häftad, 2025
842 kr
Biomimetic and Biohybrid Systems
Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott
Häftad, 2025
1 022 kr
- Nyhet
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 024 kr
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
933 kr
- Nyhet
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
730 kr
Du kanske också är intresserad av
- 10% rabatt på allt
Decade of Concurrency: Reflections and Perspectives
J.W.de Bakker, W.-P.de Roever, G. Rozenberg
Häftad, 1994
1 136 kr
Foundations of Object-Oriented Languages
J.W. de Bakker, W.P. de Roever, G. Rozenberg
Häftad, 1991
571 kr
Semantics: Foundations and Applications
J.W.de Bakker, W.-P.de Roever, G. Rozenberg
Häftad, 1993
1 136 kr
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION - VOLUME 2: APPLICATIONS, LANGUAGES AND TOOLS
EHRIG H, H Ehrig, G Engels, H-J Kreowski, G Rozenberg
Inbunden, 1999
4 216 kr
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE - ENTERING THE 21ST CENTURY
ROZENBERG G, G Paun, G Rozenberg, A Salomaa
Inbunden, 2001
5 130 kr
DEVELOPMENTS IN LANGUAGE THEORY II, AT THE CROSSROADS OF MATHEMATICS, COMPUTER SCIENCE AND BIOLOGY
ROZENBER DASSOW ROZENBERG A SALOMAA, J Dassow, G Rozenberg, A Salomaa
Inbunden, 1996
2 907 kr