ESTL: A Temporal Logic for Events and States-Reference-Cited by-同舟云学术

ESTL: A Temporal Logic for Events and States

Published:1998 Issue: Volume: Page:365-384
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 1998
language:
Short-container-title:

Author:

Kindler Ekkart,Vesper Tobias

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-69108-1_20

Reference18 articles.

1. Wil van der Aalst. Three good reasons for using a Petri-net-based workflow management system. In S. Navathe and T. Wakayama, editors, Proceedings of the International Working Conference on Information and Process Integration in Enterprises, pages 179–201, Cambridge, Massachusetts, 1996.

2. Eike Best and César Fernández. Nonsequential Processes, EATCS Monographs on Theoretical Computer Science 13. Springer-Verlag, 1988.

3. Lect Notes Comput Sci;F. Cornelius,1995

4. Claudia Ermel, Magdalena Gajewsky, Tobias Vesper, and Michael Weber. Verifikation strukturierter Netze. In H. Weber, H. Ehrig, and W. Reisig, editors, Move-On-Workshop, DFG-Forschergruppe Petri Net Technology. Technical University Berlin, 1997.

5. Ursula Goltz and Wolfgang Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125–147, 1983.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. States and Events in KandISTI;Lecture Notes in Computer Science;2019

2. Parameterized Programming for Compositional System Specification;Rewriting Logic and Its Applications;2018

3. Synchronous Products of Rewrite Systems;Automated Technology for Verification and Analysis;2016

4. Egalitarian State-Transition Systems;Rewriting Logic and Its Applications;2016

5. Model-checking fair dense-time systems with propositions and events;International Journal on Software Tools for Technology Transfer;2014-04-16