An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Verification and validation of the SACHEM Conceptual model
International Journal of Human-Computer Studies
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
Petri net modeling of gate and interconnect delays for power estimation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on low power
Performance analysis of multistage interconnection networks with a new high-level net model
Journal of Systems Architecture: the EUROMICRO Journal
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
Detecting non-ergodic simulation models of logistics networks
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Proceedings of the 21st annual symposium on Integrated circuits and system design
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
CoBTx-Net: A model for business collaboration reliability verification
Information Systems Frontiers
Coloured Petri Nets for Chronicle Recognition
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
CoBTx-Net: a model for reliability verification of collaborative business transaction
BPM'07 Proceedings of the 2007 international conference on Business process management
A hierarchical decomposition of decision process Petri nets for modeling complex systems
International Journal of Applied Mathematics and Computer Science
Formal Methods in Software and Systems Modeling
Towards an aspect-oriented language module: aspects for petri nets
Proceedings of the seventh workshop on Domain-Specific Aspect Languages
The NEO protocol for large-scale distributed database systems: modelling and initial verification
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Integrating fault-tolerant techniques into the design of critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Colouring space - a coloured framework for spatial modelling in systems biology
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Unifying the semantics of modular extensions of petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |