New structural invariants for Petri nets analysis-Reference-Cited by-同舟云学术

New structural invariants for Petri nets analysis

Published:1994 Issue: Volume: Page:199-218
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Couvreur J. M.,Paviot-Adet E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58152-9_12

Reference9 articles.

1. Chandy K.M. and Misra J. “Parallel Program Design: A Foundation”. Addison-Wesley Publishing Compagny, 1988, 516 pages.

2. E.W. Dijkstra, “An assertional proof of a program by G.L. Peterson”. EWD 779, Burroughs Corp. 1981.

3. Hoare C.A.R., “Toward a Theory of Parallel Programming”. Operating Systems Techniques, Hoare and Perrots (eds), Academic Press New York, 1972, p. 61–71.

4. Lamport L., “Proving the Correctness of Multiprocess Programs”. IEEE Transactions on Software Engineering, vol. SE-3:2, March 1977, p. 125–143.

5. Nguyen V., Demers A., Gries D. and Owicki S., “A model and Temporal Proof System for Network of Processes”. Distributed Computing, Springer Verlag, 1986, p. 7–25.

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

1. Integration of legal constraints into business process models;Transforming Government: People, Process and Policy;2007-06-01

2. Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation;Applications and Theory of Petri Nets 2005;2005

3. A Symbolic Symbolic State Space Representation;Lecture Notes in Computer Science;2004

4. Data Decision Diagrams for Petri Net Analysis;Application and Theory of Petri Nets 2002;2002

5. Detection of Illegal Behaviours Based on Unfoldings;Lecture Notes in Computer Science;1999