A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Performance analysis of a generic naval C2battle group system by use of timed Petri nets
WSC '88 Proceedings of the 20th conference on Winter simulation
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Petri Nets with Time Windows: A Comparison to Classical Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Structural Translation from Time Petri Nets to Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Hierarchical timed high level nets and their branching processes
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Comparison of the expressiveness of arc, place and transition time Petri nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Comparison of the expressiveness of timed automata and time petri nets
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Adaptive task duplication using on-line bottleneck detection for streaming applications
Proceedings of the 9th conference on Computing Frontiers
Mathematical and Computer Modelling: An International Journal
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Interference-driven resource management for GPU-based heterogeneous clusters
Proceedings of the 21st international symposium on High-Performance Parallel and Distributed Computing
Petri Nets with Time Windows: A Comparison to Classical Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
The expressive power of time Petri nets
Theoretical Computer Science
Algebraical Characterisation of Interval-Timed Petri Nets with Discrete Delays
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
| Hi-index | 0.00 |