Petri nets: an introduction
Modeling the ADA task system by Petri nets
Computer Languages
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Toward a discipline of real-time programming
Communications of the ACM
Hierarchical Modeling of Software Systems with Timed Petri Nets
International Workshop on Timed Petri Nets
Performance Evaluation of Systems Using Nets
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Multilevel specification of real time systems
Communications of the ACM - Special issue on software engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
A generic causal model for place latency
Theoretical Computer Science
Task-Oriented Petri Net Models for Discrete Event Simulation
ICCS '02 Proceedings of the International Conference on Computational Science-Part I
A Timed Petri Net Interpreter: An Alternative Method for Simulation
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
A Petri-net-based approach to real-time program analysis
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Merlot: a tool for analysis of real-time specifications
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Petri nets with clocks for the analytical validation of business process
Practicing software engineering in the 21st century
Semantic domains of timed event structures
Programming and Computing Software
Formalization of petri nets with clocks
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
| Hi-index | 0.01 |