Author:
Best Eike,Frączak Wojciech,Hopkins Richard P.,Klaudel Hanna,Pelz Elisabeth
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Box Algebra to Interval Temporal Logic;Fundamenta Informaticae;2019-07-05
2. Concurrent Programming from pseuCo to Petri;Application and Theory of Petri Nets and Concurrency;2019
3. From Petri Nets with Shared Variables to ITL;2016 16th International Conference on Application of Concurrency to System Design (ACSD);2016-06
4. Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets;Science of Computer Programming;2012-03
5. Modular nets of active resources;Automatic Control and Computer Sciences;2012-02