Stochastic High-Level Petri Nets and Applications
IEEE Transactions on Computers
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Using Flat Concurrent Prolog in System Modeling
IEEE Transactions on Software Engineering
Concurrent execution of timed Petri nets
WSC '94 Proceedings of the 26th conference on Winter simulation
Time modelling in Petri nets for the design of interaction active
ACM SIGCHI Bulletin
Synthesis of VLSI systems with the CAMAD design aid
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Extended D-timed Petri nets, timeouts, and analysis of communication protocols
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Performance evaluation of concurrent systems using timed petri nets
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Modified M-timed Petri nets in modelling and performance evaluation of systems
CSC '87 Proceedings of the 15th annual conference on Computer Science
M-timed Petri nets and Markov chains in modelling of computer systems
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
A generic causal model for place latency
Theoretical Computer Science
Modeling Urgency in Timed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Properties of Distributed Timed-Arc Petri Nets
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science
Towards a Notion of Distributed Time for Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Translating TPAL Specifications into Timed-Arc Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
The derivation of performance expressions for communication protocols from timed petri net models
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
Modeling of hybrid systems using continuous and hybrid Petri nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Using mappings to prove timing properties
Distributed Computing
A Proposal For Relative Time Petri Nets
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
CTL* model checking for time Petri nets
Theoretical Computer Science
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
Coloured Petri Nets for Chronicle Recognition
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Performance Simulation And Design Of Petri Net Systems
Journal of Integrated Design & Process Science
Decidability of properties of timed-arc Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application 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
Formal testing of systems presenting soft and hard deadlines
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Modelling and performance analysis of component-based systems
International Journal of Critical Computer-Based Systems
Verification of timed-arc Petri nets
SOFSEM'11 Proceedings of the 37th international conference on Current trends in theory and practice of computer science
Performance modeling of distributed collaboration services
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Science of Computer Programming
Fuzzy timed Petri nets - analysis and implementation
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
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
Mathematical and Computer Modelling: An International Journal
Towards Building the State Class Graph of the TSPN Model
Fundamenta Informaticae
A formal framework to test soft and hard deadlines in timed systems
Software Testing, Verification & Reliability
The right timing: reflections on the modeling and analysis of time
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Time Petri Nets with Action Duration: A True Concurrency Real-Time Model
International Journal of Embedded and Real-Time Communication Systems
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM
Journal of Integrated Design & Process Science
| Hi-index | 0.01 |