Search Results - "Petri net"
Suggested Topics within your search.
Suggested Topics within your search.
- Petri nets 14
- Parallel processing (Electronic computers) 5
- Distributed processing 3
- Electronic data processing 3
- Congresses 2
- Discrete-time systems 2
- Flexible manufacturing systems 2
- Machine theory 2
- Abstract data types (Computer science) 1
- Automatic control 1
- Computer simulation 1
- Computer software 1
- Design and construction 1
- Digital control systems 1
- Formal methods (Computer science) 1
- Integrated circuits 1
- LOTOS (Computer program language) 1
- Mathematical models 1
- Mathematics 1
- Mathematicsl models 1
- Object-oriented programming (Computer science) 1
- Production control 1
- System design 1
- Systems engineering 1
- Verification 1
-
1
Petri nets fundamental models, verification and applications
Published 2009Subjects: “…Petri nets…”
Click Here to View Status and Holdings.
Unknown -
2
Coloured petri nets modeling and validation of concurrent systems
Published 2009Subjects: “…Petri nets…”
Click Here to View Status and Holdings.
Unknown -
3
Petri nets and Grafcet tools for modelling discrete event systems
Published 1992Subjects: Click Here to View Status and Holdings.
Unknown -
4
Petri nets for systems engineering a guide to modeling, verification, and applications
Published 2003Subjects: Click Here to View Status and Holdings.
Unknown -
5
Discrete, continuous, and hybrid Petri Nets
Published 2010Subjects: “…Petri nets…”
Click Here to View Status and Holdings.
Book -
6
Application and theory of Petri nets 2000 proceedings of the...held June 26 - 30, 2000
Published 2000Subjects: “…Petri nets Congresses…”
Click Here to View Status and Holdings.
Unknown -
7
Dynamic analysis of Petri net-based discrete systems
Published 2007Subjects: “…Petri nets Design and construction…”
Click Here to View Status and Holdings.
Unknown -
8
Concurrent object-oriented programming and Petri nets advances in petri nets
Published 2001Subjects: Click Here to View Status and Holdings.
Unknown -
9
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Published 2008Subjects: Click Here to View Status and Holdings.
Unknown -
10
Petri net synthesis for discrete event control of manufacturing systems
Published 1993Subjects: Click Here to View Status and Holdings.
Unknown -
11
-
12
Perspectives in concurrency theory a festschrift for P. S. Thiagarajan
Published 2009Subjects: Click Here to View Status and Holdings.
Book -
13
Modeling and control of discrete-event dynamic systems with Petri nets and other tools
Published 2007Subjects: Click Here to View Status and Holdings.
Unknown -
14
Modeling and simulation of distributed systems
Published 2010Subjects: Click Here to View Status and Holdings.
Unknown -
15
Quality of communication-based systems proceedings of the ... held September 1994
Published 1995Subjects: Click Here to View Status and Holdings.
Unknown