|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Net-based Approach to Web Services Publication and Replaceability |
Bonchi, Filippo |
2009 |
94 | 3-4 |
p. 305-330 |
article |
|
| 2 | A Practical Approach to Verification of Mobile Systems Using Net Unfoldings |
Meyer, Roland |
2009 |
94 | 3-4 |
p. 439-471 |
article |
|
| 3 | Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation |
Hamez, Alexandre |
2009 |
94 | 3-4 |
p. 413-437 |
article |
|
| 4 | Fundamenta Informaticae (2009) Petri Nets 2008 |
2009 |
94 | 3-4 |
p. i-ii |
article |
||
| 5 | Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario |
Kristensen, Lars M. |
2009 |
94 | 3-4 |
p. 361-386 |
article |
|
| 6 | Process Discovery using Integer Linear Programming |
van derWerf, J.M.E.M. |
2009 |
94 | 3-4 |
p. 387-412 |
article |
|
| 7 | Synthesis of Nets with Step Firing Policies |
Darondeau, Philippe |
2009 |
94 | 3-4 |
p. 275-303 |
article |
|
| 8 | Unfolding Semantics of Petri Nets Based on Token Flows |
Bergenthum, Robin |
2009 |
94 | 3-4 |
p. 331-360 |
article |
8 results found