X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Advances in Petri nets : APN; 1984: [... the workshop 1983 in Toulouse and the workshop 1984 in Aarhus.] (1985)
    Berlin [u.a.] : Springer
    Show associated volumes
    Details
    UID:
    b3kat_BV035720525
    Format: 1 Online-Ressource (VII, 467 S.) , Ill., graph. Darst.
    ISBN: 3540152040 , 0387152040
    Series Statement: Lecture notes in computer science 188
    In: 1984
    Language: English
    DOI: 10.1007/3-540-15204-0
    URL: Volltext
    Author information: Rozenberg, Grzegorz 1942-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    EUV Frankfurt
    HTW Berlin
    TH Wildau
    BTU Cottbus
  • 2
    Online Resource
    Online Resource
    Advances in Petri nets 1984 : APN 84 (1985)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_595131328
    Format: Online-Ressource (VII, 467 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540393207
    Series Statement: Lecture notes in computer science 188
    Content: 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.
    Note: Literaturangaben
    Additional Edition: ISBN 3540152040
    Additional Edition: ISBN 0387152040
    Additional Edition: ISBN 9783540152040
    Additional Edition: Erscheint auch als Druck-Ausgabe Advances in Petri nets 1984 Berlin [u.a.] : Springer, 1985 ISBN 3540152040
    Additional Edition: ISBN 0387152040
    Language: English
    Keywords: Konferenzschrift
    DOI: 10.1007/3-540-15204-0
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 3
    Online Resource
    Online Resource
    Advances in Petri Nets 1984 (1985)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920857802882
    Format: XII, 472 p. , online resource.
    ISBN: 9783540393207
    Series Statement: Lecture Notes in Computer Science, 188
    Note: 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.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540152040
    Language: English
    DOI: 10.1007/3-540-15204-0
    URL: http://dx.doi.org/10.1007/3-540-15204-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Online Resource
    Online Resource
    Advances in Petri Nets 1984 (1985)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621650102882
    Format: XII, 472 p. , online resource.
    Edition: 1st ed. 1985.
    ISBN: 9783540393207
    Series Statement: Lecture Notes in Computer Science, 188
    Note: 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.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662196540
    Additional Edition: Printed edition: ISBN 9783540152040
    Language: English
    DOI: 10.1007/3-540-15204-0
    URL: https://doi.org/10.1007/3-540-15204-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    Advances in Petri Nets 1984 (1985)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649202830
    Format: Online-Ressource
    ISBN: 9783540393207
    Series Statement: Lecture Notes in Computer Science 188
    Additional Edition: ISBN 9783540152040
    Additional Edition: Buchausg. u.d.T. Advances in Petri nets ; 1984 1985 ISBN 3540152040
    Additional Edition: ISBN 0387152040
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    DOI: 10.1007/3-540-15204-0
    URL: Volltext
    Author information: Rozenberg, Grzegorz 1942-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
  • 6
    Online Resource
    Online Resource
    Advances in Petri Nets 1984 (1985)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186098102883
    Format: 1 online resource (XII, 472 p.)
    Edition: 1st ed. 1985.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-39320-X
    Series Statement: Lecture Notes in Computer Science, 188
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-15204-0
    Language: English
    DOI: 10.1007/3-540-15204-0
    URL: http://dx.doi.org/10.1007/3-540-15204-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 7
    Online Resource
    Online Resource
    Advances in Petri Nets 1984 (1985)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186098102883
    Format: 1 online resource (XII, 472 p.)
    Edition: 1st ed. 1985.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-39320-X
    Series Statement: Lecture Notes in Computer Science, 188
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-15204-0
    Language: English
    DOI: 10.1007/3-540-15204-0
    URL: http://dx.doi.org/10.1007/3-540-15204-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 8
    Book
    Book
    Advances in Petri nets 1984 : APN 84 (1985)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_012955906
    Format: VII, 467 S. , graph. Darst.
    ISBN: 3540152040 , 0387152040
    Series Statement: Lecture notes in computer science 188
    Note: Literaturangaben
    Additional Edition: Online-Ausg. Advances in Petri nets 1984 Berlin [u.a.] : Springer, 1985 ISBN 9783540393207
    Language: English
    Keywords: Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 9
    Online Resource
    Online Resource
    Advances in Petri Nets 1984 (1985)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186098102883
    Format: 1 online resource (XII, 472 p.)
    Edition: 1st ed. 1985.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-39320-X
    Series Statement: Lecture Notes in Computer Science, 188
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-15204-0
    Language: English
    DOI: 10.1007/3-540-15204-0
    URL: http://dx.doi.org/10.1007/3-540-15204-0
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
  • 10
    Book
    Book
    Advances in Petri nets : APN
    Berlin [u.a.] : Springer
    Show associated volumes
    Details
    UID:
    b3kat_BV000293461
    ISBN: 3540152040 , 0387152040 , 3540524940 , 0387524940 , 3540179054 , 0387179054 , 3540179062 , 3540164804
    Series Statement: Lecture notes in computer science ...
    Language: English
    Subjects: Computer Science , Mathematics
    RVK:
    SK 970
    RVK:
    SS 4800
    RVK:
    ST 130
    RVK:
    ST 132
    Keywords: Petri-Netz ; Aufsatzsammlung ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    Author information: Rozenberg, Grzegorz 1942-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages