/LC.GIF&client=easterncarolinaedu)
High-level Petri nets : theory and application / K. Jensen, G. Rozenberg (eds.).
| Other author | Jensen, K. (Kurt), 1950- |
| Other author | Rozenberg, Grzegorz. |
| Format | Book |
| Publication Info | Berlin ; New York : Springer-Verlag, ©1991. |
| Description | ix, 724 pages : illustrations ; 24 cm |
| Subjects |
| Contents | Predicate/transition nets / H.J. Genrich -- Coloured Petri nets : a high level language for system design and analysis / K. Jensen -- Many-sorted high-level nets / J. Billington -- Petri nets and algebraic specifications / W. Reisig -- Types and modules for net specifications / B. Krämer and H.W. Schmidt -- OBJSA nets : a class of high-level nets having objects as domains / E. Battiston, F. De Cindio and G. Mauri -- Hierarchies in coloured Petri nets / P. Huber, K. Jensen and R.M. Shapiro -- Analysing nets by the invariant method / G. Memmi and J. Vautherin -- Linear invariants in commutative high level nets / J.M. Couvreur and J. Martínez -- Generalized inverses and the calculation of symbolic invariants for coloured Petri nets / M. Silva ... [et al.] -- Reachability trees for high-level Petri nets / P. Huber ... [et al.]. |
| Bibliography note | Includes bibliographical references. |
| LCCN | 91017121 |
| ISBN | 354054125X (Berlin) |
| ISBN | 038754125X (N.Y.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA267 .H48 1991 | ✔ Available | Place Hold |