Advances in Petri Nets 1984 [electronic resource] /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1985
|
Subjects: | Computer science., Computer communication systems., Software engineering., Computer Science., Software Engineering., Computer Communication Networks., |
Online Access: | http://dx.doi.org/10.1007/3-540-15204-0 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:196547 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1965472018-07-30T23:22:34ZAdvances in Petri Nets 1984 [electronic resource] / Rozenberg, G. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1985.engPSI: 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.Computer science.Computer communication systems.Software engineering.Computer Science.Software Engineering.Computer Communication Networks.Springer eBookshttp://dx.doi.org/10.1007/3-540-15204-0URN:ISBN:9783540393207 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computer communication systems. Software engineering. Computer Science. Software Engineering. Computer Communication Networks. Computer science. Computer communication systems. Software engineering. Computer Science. Software Engineering. Computer Communication Networks. |
spellingShingle |
Computer science. Computer communication systems. Software engineering. Computer Science. Software Engineering. Computer Communication Networks. Computer science. Computer communication systems. Software engineering. Computer Science. Software Engineering. Computer Communication Networks. Rozenberg, G. editor. SpringerLink (Online service) Advances in Petri Nets 1984 [electronic resource] / |
description |
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. |
format |
Texto |
topic_facet |
Computer science. Computer communication systems. Software engineering. Computer Science. Software Engineering. Computer Communication Networks. |
author |
Rozenberg, G. editor. SpringerLink (Online service) |
author_facet |
Rozenberg, G. editor. SpringerLink (Online service) |
author_sort |
Rozenberg, G. editor. |
title |
Advances in Petri Nets 1984 [electronic resource] / |
title_short |
Advances in Petri Nets 1984 [electronic resource] / |
title_full |
Advances in Petri Nets 1984 [electronic resource] / |
title_fullStr |
Advances in Petri Nets 1984 [electronic resource] / |
title_full_unstemmed |
Advances in Petri Nets 1984 [electronic resource] / |
title_sort |
advances in petri nets 1984 [electronic resource] / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1985 |
url |
http://dx.doi.org/10.1007/3-540-15204-0 |
work_keys_str_mv |
AT rozenberggeditor advancesinpetrinets1984electronicresource AT springerlinkonlineservice advancesinpetrinets1984electronicresource |
_version_ |
1756266894206173184 |