The Petri Net Markup Language: Concepts, Technology, and Tools-Reference-Cited by-同舟云学术

The Petri Net Markup Language: Concepts, Technology, and Tools

Published:2003 Issue: Volume: Page:483-505
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets 2003
language:
Short-container-title:

Author:

Billington Jonathan,Christensen Søren,van Hee Kees,Kindler Ekkart,Kummer Olaf,Petrucci Laure,Post Reinier,Stehno Christian,Weber Michael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44919-1_31

Reference30 articles.

1. R. Bastide, J. Billington, E. Kindler, F. Kordon, and K.H. Mortensen, editors. Meeting on XML/SGML based Interchange Formats for Petri Nets, Århus, Denmark, June 2000. 21st ICATPN.

2. F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri net notation. Petri Net Newsletter, 49:9–27, October 1995.

3. G. Berthelot, J. Vautherin, and G. Vidal-Naquet. A syntax for the description of Petri nets. Petri Net Newsletter, 29:4–15, April 1988.

4. B. Bos, H. W. Lie, C. Lilley, and I. Jacobs (eds.). Cascading Style Sheets, level 2 — CSS2 Specification. URL http://www.w3.org/TR/CSS2, 1998.

5. J. Clark. TREX — tree regular expressions for XML. URL http://www.thaiopensource.com/trex/. 2001/01/20.

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

1. Simulating Cyber-Attack Scenarios by Discovering Petri-Nets from Large-Scale Event Logs;2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS);2024-01-03

2. Designing a Web3 Ecosystem to Facilitate a Participatory Economy for the Movie and Series Industry;2023-04-26

3. Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker;2022 IEEE 31st International Symposium on Industrial Electronics (ISIE);2022-06-01

4. DICE simulation: a tool for software performance assessment at the design stage;Automated Software Engineering;2022-03-28

5. CTL$$^*$$ Model Checking for Data-Aware Dynamic Systems with Arithmetic;Automated Reasoning;2022