Design as interaction with computer based materials
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
IEEE Transactions on Parallel and Distributed Systems
WCET Analysis of Superscalar Processors Using SimulationWith Coloured Petri Nets
Real-Time Systems - Special issue on worst-case execution-time analysis
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Condensed State Spaces for Timed Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Real Delay Switching Activity Simulator based on Petri net Modeling
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Context-descriptive prototypes and their application to medicine administration
DIS '04 Proceedings of the 5th conference on Designing interactive systems: processes, practices, methods, and techniques
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
Improved question-guided stubborn set methods for state properties
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Modeling hierarchical mobile agent security protocol using CP nets
HiPC'07 Proceedings of the 14th international conference on High performance computing
Parametric model checking with verICS
Transactions on Petri nets and other models of concurrency IV
Modeling and assessment of production printing workflows using petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A perspective on explicit state space exploration of coloured petri nets: past, present, and future
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
| Hi-index | 0.00 |