| |
Your search for [subject]Petri nets returned 10 records. |
|
| |
Sort by:
|
|
| |
|
|
| |
|
 |
Application and theory of Petri nets, 1993 : proceedings.
Berlin: Springer-Verlag, 1993.
Subject: Petri nets.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Coloured Petri nets : basic concepts, analysis methods, and practical use.
by Jensen, K., (Kurt), 1950-; Berlin: Springer, 1995.
Subject: Petri nets.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Petri nets in flexible and agile automation.
Boston: Kluwer Academic Publishers, 1995.
Subject: Automatic control; Petri nets.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Petri nets in flexible and agile automation /: Kluwer international series in engineering and computer science.
Boston: Kluwer Academic Publishers, 1995.
Subject: Automatic control; Petri nets.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Verification of the AX.25 link-layer protocol using place-transition petri nets.
by Festin, Cedric Angelo Mojica; 1996.
Subject: Petri nets; Computer network protocols.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Performance modeling of automated manufacturing systems.
by Viswanadham, N., 1943-; Englewood Cliffs, N.J.: Prentice Hall, 1992.
Subject: Flexible manufacturing systems -- Mathematical models; Markov processes; Petri nets; Queuing theory.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Modelling with generalized stochastic Petri nets.
Chichester: Wiley, 1995.
Subject: Electronic data processing -- Distributed processing; Petri nets.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Advances in Petri nets, 1989 _ European Workshop on Application and Theory of Petri Nets (9th : 1988 : Venice, Italy).
Berlin: Springer-Verlag, 1990.
Subject: Petri nets -- Congresses; Machine theory -- Congresses.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Verification of systems and circuits using LOTOS, Petri Nets, and CCS.
by Yoeli, Michael, 1917-; Hoboken, N.J.: Wiley-Interscience, 2008.
Subject: Integrated circuits -- Verification; Computer software -- Verification; LOTOS (Computer program language); Petri nets.
|
|
| |
|
|
|
|
| |
|
|
| |
|
|
Practice of Petri nets in manufacturing.
by DiCesare, Frank; London: Chapman & Hall,c, 1993.
Subject: Flexible manufacturing systems -- Mathematical models; Petri nets; Production control -- Mathematical models.
|
|
| |
|
|
|
|
| |
|
|
| |
