Parallel computation of the reachability graph of petri net models with semantic information-Reference-Cited by-同舟云学术

Parallel computation of the reachability graph of petri net models with semantic information

Published:2016-09-23 Issue:5 Volume:47 Page:647-668
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw. Pract. Exper.

Author:

González-López de Murillas Eduardo¹,Fabra Javier²,Álvarez Pedro²,Ezpeleta Joaquín²

Affiliation:

1. Architecture of Information Systems (AIS) group in the Department of Mathematics and Computer Science; Eindhoven University of Technology; Eindhoven The Netherlands

2. Institute of Engineering Research (I3A) in the Department of Computer Science and Systems Engineering; University of Zaragoza; Zaragoza Spain

Funder

Spanish Government Universidad de Zaragoza and Obra Social de la Fundación Ibercaja

Publisher

Wiley

Subject

Software

Reference42 articles.

1. Service-oriented computing: state of the art and research challenges;Papazoglou;IEEE Computer,2007

2. Petri nets: properties, analysis and applications;Murata;Proceedings of the IEEE,1989

3. Lecture Notes in Computer Science;Hee,2013

4. A Petri net approach to analyzing behavioral compatibility and similarity of web services;Li;IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans,2011

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

1. Analysis of Unbounded Petri Net With Lean Reachability Trees;IEEE Transactions on Systems, Man, and Cybernetics: Systems;2020-06

2. Behavioral Analysis of Scientific Workflows With Semantic Information;IEEE Access;2018