Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Specification and Validation of the SACI-1On-Board Computer Using Timed-CSP-Z andPetri NetsAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Modelling Mobility and Mobile Agents UsingNets within NetsAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Hierarchical Timed High Level Nets and TheirBranching ProcessesAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
IntroAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Analysing Properties of the Resource ReservationProtocolAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
A Proposal for Structuring Petri Net-BasedAgent Interaction ProtocolsAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Applicationsand Theoryof Petri Nets 2003Aalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
CPN Tools for Editing, Simulating, and AnalysingColoured Petri NetsAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Net Models Supporting Human and HumaneBehaviorsAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
The Resource Allocation Problem in FlexibleManufacturing SystemsAalst, Wil van der ; Best, EikeApplications and Theory of Petri Nets 2003, 2003, Vol.2679Germany: Springer Berlin / HeidelbergTexto completo disponível |