Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
A generic causal model for place latency
Theoretical Computer Science
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Concurrency in mobile object net systems
Fundamenta Informaticae - Concurrency specification and programming
Towards Multiple Access in Generic Component Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Using stochastic petri nets for level-crossing collision risk assessment
IEEE Transactions on Intelligent Transportation Systems
Main concepts of networks of transformation units with interlinking semantics
Formal Methods in Software and Systems Modeling
An Axiomatic Characterization of Algebras of Processes of Petri Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Hi-index | 0.00 |